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