Вы здесь

Главная

символьный

Связанные издания:

Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge
CONCUR 2004 - Concurrency Theory: Proc./15th International Conference. London, UK, August/September 2004
Concurrent Constraint Programming at SICS with the Andorra Kernel Language
Constraints in Computational Logics: Proc./First Intern. Conf., CCL 94. Munich, Germany, September 1994
Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models
Debuggable Concurrency Extensions for Standard ML
Debugging Real-World Data-Parallel Programs with SPiDER
Description d une Interface Interactive et Graphigue pour des Systemes de Manipulation Sumbolique et Ebauche de Spesification Formelle
Design and Implementation of Symbolic Computation Systems: Proc./International Symposium,DISCO 96. Karlsruhe,Germany,September 1996
Design and Implementation of Symbolic Computation Systems: Proc./Intern.Symp., DISCO 92, Bath, U.K., April 1992
Design and Implementation of Symbolic Computation Systems: Proc./Intern.Symp. DISCO 93, Gmunden, Austia, Sept. 1993
Design Constraints in Symbolic Model Checking
Detecting Termination of Active Database Rules using Symbolic Model Checking
Detection and Recovery of Endangered Variables Caused by Instruction Scheduling
Diagnostic cognitif de l apprenant par apprentissage symbolique
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization
Efficient Model Checking by Automated Ordering of Transition Relation Partitions
Efficient Symbolic Analysis for Optimizing Compilers
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
Error Detection with Directed Symbolic Model Checking
Executable Specification Language for Parallel Symbolic Computation
Execution Replay: a Mechanism for Integrating a Visualization Tool with a Symbolic Debugger
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
Experience with Parallel Symbolic Applications in Orca
Extending AlgBench with a Type System
Extending RICS-CLP(Real) to Handle Symbolic Functions
Extensions orientees obets de SCHEME
Fast Strictness Analysis Via Symbolic Fixpoint Iteration
Formal Grammar 2018: Proc./23rd International Conference, FG 2018, Sofia, Bulgaria, August 2018
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012
From Pre-historic to Post-modern Symbolic Model Checking
From Sounds to Music and Emotions: Revised Selected Papers/9th International Symposium, CMMR 2012, London, UK, June 2012
Handling Global Conditions in Parametrized System Verification
Hidden Specification of a Functional System
Hierarchical Representations of Discrete Functions, with Application to Model Checking
Implementing an Irregular Application on a Distributed Memory Multiprocessor
Implementing Symbolic Models for Value Passing in TwoTowers
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Selected Papers/ Second International Conference, AISMC-2. Cambridge, United Kingdom, August 1994
Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based Navigation
Intelligent Computer Mathematics: Proc./18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Bertinoro, Italy, July 2011
Intelligent Computer Mathematics: Proc./9th Intl Conf AISC 2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008. Birmingham, UK, July/August 2008
Intelligent Systems and Soft Computing: Prospects, Tools and Applications
Intelligent Tutoring System for Simbolic Calculation
Intelligent Tutoring Systems: Proc./12th International Conference, ITS 2014, Honolulu,HI,USA, June 2014
Intelligent User Interfaces for Symbolic and Numeric Computation