1
Publié 2005
Table des matières: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... Classification under Imbalanced Data sets: Active Sub-sampling and AUC Approximation -- Exposing a Bias Toward...
Accéder au texte intégral
Électronique eBook
3
Publié 2008
Table des matières: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
Accéder au texte intégral
Électronique eBook
4
Publié 2007
Table des matières: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Accéder au texte intégral
Électronique eBook
5
par Simon, Axel., Simon, Axel.
Publié 2008
Table des matières: ...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...
Accéder au texte intégral
Électronique eBook
7
Publié 2005
Table des matières: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...
Accéder au texte intégral
Électronique eBook
10
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
11
Publié 2013
Table des matières: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
Accéder au texte intégral
Électronique eBook
12
Publié 2014
Table des matières: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Accéder au texte intégral
Électronique eBook
13
Publié 2012
Table des matières: ... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... Argumentation Engine for Agent Applications -- A Tool for Answering Queries on Action Descriptions...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ... Ant Algorithm -- Applications -- Artificial Evolution for 3D PET Reconstruction -- A Hybrid Genetic...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... -- New Hardware -- ACAR: An Adaptive Cost Aware Cache Replacement Approach for Flash Memory -- GPU...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
Accéder au texte intégral
Électronique eBook
20
Publié 2005
Table des matières: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
Accéder au texte intégral
Électronique eBook