1
Publicado 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... Matching Computation Based on Composite Matchers -- Social Mediation for Collective Intelligence in a Large...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...
Ligazón do recurso
Electrónico eBook
4
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
5
Publicado 2013
Table of Contents: ... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...
Ligazón do recurso
Electrónico eBook
6
Publicado 2013
Table of Contents: ... Robustness -- Wavelet Network and Geometric Features Fusion Using Belief Functions for 3D Face Recognition...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ...Evolutionary Computing and Genetic Algorithms -- Adaptive Routing Algorithm in Wireless...
Ligazón do recurso
Electrónico eBook
8
Publicado 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Ligazón do recurso
Electrónico eBook
9
Publicado 2014
Table of Contents: ... -- Incremental Composition of Dynamic Programs -- Dynamic Sleep State Schedule for Idle Nodes in Clusters...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ... Four-Layer Data Fusion Framework -- Scale Space Based Grammar for Hand Detection -- Combined...
Ligazón do recurso
Electrónico eBook
12
Publicado 2008
Table of Contents: ... Fusions -- What Do Semantics Matter When the Meat Is Overcooked? -- Calculating Colimits Compositionally...
Ligazón do recurso
Electrónico eBook
13
Publicado 2015
Table of Contents: ... Search Algorithm for Nonconvex Economic Dispatch -- Automatic Evolutionary Music Composition Based...
Ligazón do recurso
Electrónico eBook
14
Publicado 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ... System for Probabilistic Inductive Answer Set Programming -- Towards Large-Scale Probabilistic OBDA...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ...  Network to Adaptive Measurement Fusion -- Reorder Adapting TCP -- A Novel and Feasible System for Rule...
Ligazón do recurso
Electrónico eBook