Symbolic

Results: 1438



#Item
61

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov

Add to Reading List

Source URL: binsec.gforge.inria.fr

Language: English - Date: 2017-11-15 05:31:12
    62

    Discrete Event Dynamic Systems manuscript No. (will be inserted by the editor) Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation

    Add to Reading List

    Source URL: www.irisa.fr

    Language: English - Date: 2011-03-22 06:19:21
      63

      Quantification of Cardio-Respiratory Interactions in Patients with Mild Obstructive Sleep Apnea Syndrome using Joint Symbolic Dynamics Muammar Muhammad Kabir*, Hany Dimitri, Prashanthan Sanders, Ral Antic, Derek Abbott a

      Add to Reading List

      Source URL: www.cinc.org

      Language: English
        64

        Clustering Large Datasets and Visualizations of Large Hierarchies and Pyramids Symbolic Data Analysis Approach 1 ˇ Vladimir Batagelj1 , Enzo Pavletiˇc2 , Matjaˇz Zaverˇsnik1 , and Simona Korenjak-Cerne

        Add to Reading List

        Source URL: www.educa.fmf.uni-lj.si

        Language: English - Date: 2000-08-20 18:29:40
          65

          Sameness, Meaning, and Identity. by Gustav Bergmann; Individuals. by Gustav Bergmann; Concepts. by Gustav Bergmann; Herbert Hochberg Review by: John Perry The Journal of Symbolic Logic, Vol. 40, No. 1 (Mar., 1975), pp. 1

          Add to Reading List

          Source URL: www.john.jperry.net

          Language: English - Date: 2017-10-22 23:32:48
            66

            Automating rule generation for grammar checkers Marcin Miłkowski Polish Academy of Sciences 1. Introduction In this paper, I describe several approaches to automatic or semiautomatic development of symbolic rules for gr

            Add to Reading List

            Source URL: marcinmilkowski.pl

            Language: English - Date: 2012-11-28 14:09:59
              67

              Symbolic Unfolding of Parametric Stopwatch Petri Nets L.-M. Traonouez1 , B. Grabiec2 , C. Jard2 , D. Lime3 and O. H. Roux3? 1 Universit`

              Add to Reading List

              Source URL: pagesperso.lina.univ-nantes.fr

              Language: English - Date: 2013-07-03 04:01:35
                68

                  The Swastika, Stepped Shrine, Priest, Horned Eagle, and Wild Yak Rider — Prominent antecedents of Yungdrung Bon figurative and symbolic traditions in the rock art of Upper Tibet1

                Add to Reading List

                Source URL: himalaya.socanth.cam.ac.uk

                Language: English - Date: 2017-10-15 13:58:06
                  69

                  Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

                  Add to Reading List

                  Source URL: www.sri.inf.ethz.ch

                  Language: English - Date: 2018-05-15 09:28:46
                    UPDATE