Symbolic

Results: 1438



#Item
111Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

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
    112SymCerts: 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

    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
      113Generalized, 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

      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
        114Automatic Chord Recognition from Audio Using a ∗ Supervised HMM Trained with Audio-from-Symbolic Data Kyogu Lee Malcolm Slaney

        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
          115ASSOCIATION 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.

          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
            116Analysing Constraint Grammar with SAT much conflict wow so symbolic

            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
              117IJCAIWorkshop 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

              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
                118Proceedings of the European Control Conference 2009 • Budapest, Hungary, August 23–26, 2009 MoC10.1 Control of Infinite Symbolic Transition Systems under Partial Observation

                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
                  119Dreaming 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

                  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
                    120Supervisory Control of Infinite Symbolic Systems Using Abstract Interpretation

                    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