1
Publié 2007
Table des matières: ... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Accéder au texte intégral
Électronique eBook
4
Publié 2014
Table des matières: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...
Accéder au texte intégral
Électronique eBook
7
Publié 2006
Table des matières: ...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...
Accéder au texte intégral
Électronique eBook
8
Publié 2008
Table des matières: ... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler’s Gain Prospects with Coherent...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... -- Static and Dynamic Detection of Behavioral Conflicts Between Aspects -- Escaping with Future Variables...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ... with Grammatical Evolution -- A PSO Based Adaboost Approach to Object Detection -- Adaptive Non-uniform...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Accéder au texte intégral
Électronique eBook
15
Publié 2005
Table des matières: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Accéder au texte intégral
Électronique eBook
16
Publié 2007
Table des matières: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
Accéder au texte intégral
Électronique eBook
18
Publié 2015
Table des matières: ... identification through camera video -- Interactive platform to include human-Structure interaction effects...
Accéder au texte intégral
Électronique eBook
19
Publié 2007
Table des matières: ... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... of ECAs Interactions Using CRFs -- Automatic Distractor Generation for Domain Specific Texts...
Accéder au texte intégral
Électronique eBook