Sciweavers

4595 search results - page 80 / 919
» Reasoning about Plans
Sort
View
VLDB
1994
ACM
102views Database» more  VLDB 1994»
15 years 10 months ago
Reasoning About Spatial Relationships in Picture Retrieval Systems
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
A. Prasad Sistla, Clement T. Yu, R. Haddad
PODC
1989
ACM
15 years 10 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra
ICNP
1998
IEEE
15 years 9 months ago
Reasoning About Active Network Protocols
Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W....
AIIA
1995
Springer
15 years 9 months ago
PDL-based framework for reasoning about actions
Giuseppe De Giacomo, Maurizio Lenzerini