1968 search results - page 124 / 394 » The Complexity of Valued Constraint Models |
125
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
102
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
113
click to vote
3DPVT
2002
IEEE
15 years 6 months ago
2002
IEEE
Reconstruction of 3D models from range images usually focuses on complex objects completely contained in the field of view. Using range images to reconstruct a whole environment ...
125
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
NAACL
2007
15 years 3 months ago
2007
This paper explores what kind of user simulation model is suitable for developing a training corpus for using Markov Decision Processes (MDPs) to automatically learn dialog strate...