Symbolic

Results: 1438



#Item
111

Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

Add to Reading List

Source URL: cse.lab.imtlucca.it

- Date: 2017-04-12 13:01:13
    112

    SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni

    Add to Reading List

    Source URL: www.ieee-security.org

    - Date: 2017-04-03 16:02:16
      113

      Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

      Add to Reading List

      Source URL: research.microsoft.com

      - Date: 2009-09-21 16:41:38
        114

        Automatic Chord Recognition from Audio Using a ∗ Supervised HMM Trained with Audio-from-Symbolic Data Kyogu Lee Malcolm Slaney

        Add to Reading List

        Source URL: ccrma.stanford.edu

        - Date: 2006-09-09 18:09:54
          115

          ASSOCIATION FOR SYMBOLIC LOGIC 2016 NORTH AMERICAN ANNUAL MEETING University of Connecticut Storrs, CT May 23-26, 2016 Program Committee: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J.

          Add to Reading List

          Source URL: asl2016.logic.uconn.edu

          - Date: 2016-04-25 13:49:36
            116

            Analysing Constraint Grammar with SAT much conflict wow so symbolic

            Add to Reading List

            Source URL: listenmaa.fi

            - Date: 2015-10-20 07:02:21
              117

              IJCAIWorkshop on Neural-Symbolic Learning and Reasoning (NeSy’05) Call for Papers Edinburgh, Scotland, August 1st, 2005 Artificial Intelligence researchers continue to face huge challenges in their quest to deve

              Add to Reading List

              Source URL: daselab.cs.wright.edu

              - Date: 2014-10-02 17:28:47
                118

                Proceedings of the European Control Conference 2009 • Budapest, Hungary, August 23–26, 2009 MoC10.1 Control of Infinite Symbolic Transition Systems under Partial Observation

                Add to Reading List

                Source URL: www.irisa.fr

                - Date: 2009-09-03 06:47:36
                  119

                  Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents Leo de Penning1 , Artur d’Avila Garcez2 , and John-Jules C. Meyer3 1

                  Add to Reading List

                  Source URL: drops.dagstuhl.de

                  - Date: 2013-09-27 04:01:46
                    120

                    Supervisory Control of Infinite Symbolic Systems Using Abstract Interpretation

                    Add to Reading List

                    Source URL: www.irisa.fr

                    - Date: 2005-12-19 08:08:49
                      UPDATE