13 search results - page 1 / 3 » On Deciding Consistency for CSPs of Cyclic Time Intervals |
FLAIRS
2001
13 years 6 months ago
2001
ENTCS
2002
13 years 4 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
CONSTRAINTS
1998
13 years 4 months ago
1998
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
CVPR
2011
IEEE
13 years 23 days ago
2011
IEEE
We introduce a novel type of total variation regularizer, TVS1 , for cyclic structures such as angles or hue values. The method handles the periodicity of values in a simple and c...
RTSS
2006
IEEE
13 years 10 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...