1
Published 2008
Table of Contents: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...
View full text
Electronic eBook
7
Table of Contents: ... -- Conclusion -- A Comparison of Modeling Methods -- Summary....
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Comparison of Explicit Semantic Analysis Implementations for Cross-Language Retrieval -- Term Extraction...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Their Comparison to Human Behavior Clustering -- Upper Body Animation Synthesis for a Laughing Character...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Categorization -- Comparisons and Analysis of DCT-based Image Watermarking Algorithms -- A Tool for Robustness...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... -- An Experimental Comparison of Physical Mobile Interaction Techniques: Touching, Pointing and Scanning...
View full text
Electronic eBook
17
by Albert, Jim., Albert, Jim.
Published 2007
Table of Contents: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...String Rearrangement Metrics: A Survey -- Maximal Words in Sequence Comparisons Based on Subword...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Programming Mobile Robots -- Mobile Autonomous Robots Play Soccer – An Intercultural Comparison of Different...
View full text
Electronic eBook