408 search results - page 11 / 82 » Relation Algebras for Reasoning about Time and Space |
100
Voted
ICTAC
2004
Springer
15 years 7 months 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...
111
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
109
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...
125
Voted
AAAI
1996
15 years 3 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
133
Voted
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...