Sciweavers

5243 search results - page 69 / 1049
» Reasoning About Strategies
Sort
View
87
Voted
VLDB
1994
ACM
102views Database» more  VLDB 1994»
15 years 4 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
85
Voted
PODC
1989
ACM
15 years 4 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 4 months ago
Reasoning About Active Network Protocols
Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W....
73
Voted
AIIA
1995
Springer
15 years 4 months ago
PDL-based framework for reasoning about actions
Giuseppe De Giacomo, Maurizio Lenzerini