Sciweavers

570 search results - page 37 / 114
» The Complexity of Reasoning with Global Constraints
Sort
View
ICDE
2005
IEEE
124views Database» more  ICDE 2005»
15 years 11 months ago
XML Views as Integrity Constraints and their Use in Query Translation
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
Rajasekar Krishnamurthy, Raghav Kaushik, Jeffrey F...
CPAIOR
2005
Springer
15 years 3 months ago
Computing Explanations for the Unary Resource Constraint
Integration of explanations into a CSP solver is a technique addressing difficult question “why my problem has no solution”. Moreover, explanations together with advanced searc...
Petr Vilím
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
14 years 9 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl
CP
2005
Springer
15 years 3 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
IJCAI
1989
14 years 11 months ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai