1
Published 2006
Table of Contents: ... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- Information Retrieval and Dialog Processing -- Using Semantic Constraints to Improve Question Answering...
View full text
Electronic eBook
5
Published 2005
Table of Contents: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Model Organization Constraints in Multi-Agent System -- A Multi-Agent System for Mobile...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Continua -- Mathematical Programming and Modelling -- Cellular Automata Paradigm for Topology Optimisation...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Service over P2P Networks -- Interacting Activity Recognition Using Hierarchical Durational-State Dynamic...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Camera Pose Estimation Based on Angle Constraints -- Feature-Preserving 3D Thumbnail Creation with Voxel...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Processes by Reification of Agent Interactions -- Model Driven Development of Multi-Agent Systems...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection Approach...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Mensuration Using a Stationary Camera -- Revisiting the Brightness Constraint: Probabilistic Formulation...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...
View full text
Electronic eBook