1711 search results - page 26 / 343 » Completing pseudojump operators |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Many robotics applications require a human operator to monitor multiple robots that collaborate to achieve the operator’s goals. Most approaches to such monitoring fo...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
13 years 9 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
LICS
1999
IEEE
14 years 2 days ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
KR
1992
Springer
13 years 12 months ago
1992
Springer
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...