270 search results - page 5 / 54 » Programming with Intervals |
EOR
2010
13 years 7 months ago
2010
IJITDM
2008
13 years 7 months ago
2008
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...
ICALP
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...