Symbolic

Results: 1438



#Item
341

Computer Security Course. Song Dawn Vulnerability Analysis (II): Symbolic

Add to Reading List

Source URL: inst.eecs.berkeley.edu

Language: English - Date: 2015-02-10 03:33:18
    342

    Semantic Guidance (and other methods) for Saturation Provers 8th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

    Add to Reading List

    Source URL: www.cs.unm.edu

    Language: English - Date: 2006-09-20 20:06:34
      343

      Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin

      Add to Reading List

      Source URL: www.eecs.berkeley.edu

      Language: English - Date: 2013-09-22 01:24:56
        344

        Combining Vector Space Embeddings with Symbolic Logical Inference over Open-Domain Text Matt Gardner∗ Partha Talukdar

        Add to Reading List

        Source URL: talukdar.net

        Language: English - Date: 2015-06-05 19:18:37
          345

          Learning words from pictures: 15- and 17-month-old infants appreciate the referential and symbolic links among words, pictures, and objects

          Add to Reading List

          Source URL: groups.psych.northwestern.edu

          Language: English - Date: 2014-08-20 12:37:54
            346

            The 17th International Symposium on Symbolic and Numerical Algorithms for Scientific Computing 21st – 24th September 2015 Timis¸oara, Romania

            Add to Reading List

            Source URL: synasc.ro

            Language: English - Date: 2015-09-20 07:51:32
              347

              TRANSFORMATIONS Use the numerical representation of below to match the numerical information in column A with the symbolic representation in column B. -4 -2 0 2 4

              Add to Reading List

              Source URL: math.arizona.edu

              - Date: 2003-08-27 12:55:15
                348

                Notions on Constraints Numerical Domains Abstract domains: domains of terms Decision procedures for numerical and symbolic domains

                Add to Reading List

                Source URL: www.loria.fr

                Language: English - Date: 2005-12-12 09:42:47
                  349

                  15 Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution TIELEI WANG and TAO WEI, Peking University GUOFEI GU, Texas A&M University WEI ZOU, Peking University

                  Add to Reading List

                  Source URL: faculty.cs.tamu.edu

                  Language: English - Date: 2011-11-06 10:29:37
                    350

                    Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    Language: English - Date: 2009-06-30 03:41:27
                      UPDATE