1
Published 2014
Table of Contents: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Reconstruction -- The Diagnostic Application of Brain Image Processing and Analysis System for Ischemic Stroke...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Using Path Similarity -- A Statistical-Structural Constraint Model for Cartoon Face Wrinkle...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Process -- Imaging-Based Computation of the Dynamics of Pelvic Floor Deformation and Strain Visualization...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- IV: Interactive Environments -- Distributed 3D Information Visualization – Towards Integration...
View full text
Electronic eBook
17
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
18
Published 2006
Table of Contents: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...
View full text
Electronic eBook