420 search results - page 37 / 84 » Temporal reasoning in process planning |
JAR
1998
13 years 9 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
WDAG
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
JOLLI
2002
13 years 9 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
AIPS
1994
13 years 11 months ago
1994
The Scenario-based Engineering Process (SEP)is a novel approachto developingcomplexsystems.SEPbuilds newapplication systemsthrougha selectionprocessthat groupsprimitive components...
ICIP
2008
IEEE
14 years 4 months ago
2008
IEEE
The deployment of mobile multimedia broadcast services like Mobile TV over cellular networks has just started. The coverage in terms of delivered quality per receiver is an import...