Sciweavers

2050 search results - page 26 / 410
» constraints 2010
Sort
View
FASE
2010
Springer
14 years 10 days ago
Incremental Consistency Checking of Dynamic Constraints
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
Iris Groher, Alexander Reder, Alexander Egyed
AMW
2010
13 years 9 months ago
Minimising RDF Graphs under Rules and Constraints Revisited
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination in RDF in the presence of rules (in the form of Datalog rules) a...
Reinhard Pichler, Axel Polleres, Sebastian Skritek...
ENDM
2010
112views more  ENDM 2010»
13 years 4 months ago
On the complexity of the Eulerian closed walk with precedence path constraints problem
The Eulerian closed walk problem in a digraph is a well-known polynomial-time solvable problem. In this paper, we show that if we impose the feasible solutions to fulfill some pre...
Hervé Kerivin, Mathieu Lacroix, Ali Ridha M...
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
13 years 2 months ago
Curvature-continuous trajectory generation with corridor constraint for autonomous ground vehicles
We present a practical path planning algorithm based on B
Ji-wung Choi, Renwick E. Curry, Gabriel Hugh Elkai...
SIGDIAL
2010
13 years 5 months ago
Dialogue Management Based on Entities and Constraints
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
Yushi Xu, Stephanie Seneff