1
Publicado em 2014
Sumário: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2011
Sumário: ... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2008
Sumário: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2008
Sumário: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2005
Sumário: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ... Reconstruction -- The Diagnostic Application of Brain Image Processing and Analysis System for Ischemic Stroke...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2008
Sumário: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2010
Sumário: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2010
Sumário: ... Process -- Imaging-Based Computation of the Dynamics of Pelvic Floor Deformation and Strain Visualization...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2014
Sumário: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2006
Sumário: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2007
Sumário: ... -- IV: Interactive Environments -- Distributed 3D Information Visualization – Towards Integration...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2010
Sumário: ... Using Path Similarity -- A Statistical-Structural Constraint Model for Cartoon Face Wrinkle...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2006
Sumário: ... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2013
Sumário: ...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...
Obter o texto integral
Recurso Eletrônico livro eletrônico