1
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
2
3
Publié 2008
Table des matières: ... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...
Accéder au texte intégral
Électronique eBook
4
Publié 2015
Table des matières: ... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...
Accéder au texte intégral
Électronique eBook
5
Table des matières: ... in Multi-Criteria Decision Making -- Continuous Problems -- Optimization -- Heuristic Optimization -- Cases...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... Amazon Mechanical Turk in ImageCLEF -- Part III – Use Cases -- The THESEUS Use Cases -- Domain-Adaptive...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Accéder au texte intégral
Électronique eBook
9
par Saeed, Walid
Publié 2005
... the TIP method are compared with other methods such as Standard Integer Programming (SIP) and Decision...
Accéder au texte intégral
Thèse
10
Publié 2005
Table des matières: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
Accéder au texte intégral
Électronique eBook
11
Publié 2013
Table des matières: ... Presentation System -- Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting...
Accéder au texte intégral
Électronique eBook
12
13
Publié 2008
Table des matières: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...
Accéder au texte intégral
Électronique eBook
15
Publié 2015
Table des matières: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... Domain -- Designing Pervasive Brain-Computer Interfaces -- Medical Expert Systems and Decision Support...
Accéder au texte intégral
Électronique eBook
18
19
Publié 2008
Table des matières: ... Society -- Emerging Approach to E2.0: The Case of Social Enterprise – First Results from a 1-Year Field...
Accéder au texte intégral
Électronique eBook
20
Sujets: ...Decision making....
Accéder au texte intégral
Électronique eBook