1
Publié 2014
Table des matières: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Accéder au texte intégral
Électronique eBook
2
Publié 2006
Table des matières: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Accéder au texte intégral
Électronique eBook
7
Publié 2006
Table des matières: ... DISCRETE-TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS -- A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ... Service over P2P Networks -- Interacting Activity Recognition Using Hierarchical Durational-State Dynamic...
Accéder au texte intégral
Électronique eBook
9
Publié 2005
Table des matières: ... Object Placement in Video for Augmented Reality -- Realtime Control for Motion Creation of 3D Avatars...
Accéder au texte intégral
Électronique eBook
10
Publié 2005
Table des matières: ... Opponent Actions by Observation -- A Model-Based Approach to Robot Joint Control -- Evolutionary Gait...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...
Accéder au texte intégral
Électronique eBook
12
Publié 2014
Table des matières: ... in Oscillating Control Loops -- Feed Point Optimization of Fractal Antenna using GRNN-GA Hybrid Algorithm...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... and Applications (GRAPP) -- Fast Spatially Controllable Multi-dimensional Exemplar-Based Texture Synthesis...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... Using Path Similarity -- A Statistical-Structural Constraint Model for Cartoon Face Wrinkle...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... in Complex Scenes Using Geometric Constraints -- Image and Video Processing -- A Real-Time Gabor Primal...
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... for Advection-Diffusion Processes -- A New Low Rank Quasi-Newton Update Scheme for Nonlinear Programming...
Accéder au texte intégral
Électronique eBook