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