732 search results - page 35 / 147 » Periodicity-Based Temporal Constraints |
140
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
122
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
117
click to vote
EPIA
2001
Springer
15 years 8 months ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
141
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
132
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...