4595 search results - page 348 / 919 » Reasoning about Plans |
178
click to vote
AMAST
2004
Springer
16 years 29 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
156
click to vote
CMSB
2004
Springer
16 years 29 days ago
2004
Springer
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
192
click to vote
ICTAC
2004
Springer
16 years 28 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
203
click to vote
ECBS
2003
IEEE
16 years 25 days ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
145
click to vote
PG
2003
IEEE
16 years 25 days ago
2003
IEEE
I argue that computer graphics can benefit from a deeper use of machine learning techniques. I give an overview of what learning has to offer the graphics community, with an emph...