33 search results - page 3 / 7 » Incremental Consistency Checking of Dynamic Constraints |
DEXAW
1996
IEEE
13 years 10 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
SCALESPACE
2007
Springer
14 years 10 days ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
CP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
ICRA
2007
IEEE
14 years 16 days ago
2007
IEEE
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...
CP
1995
Springer
13 years 9 months ago
1995
Springer
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...