Search Sciweavers | Sciweavers

4595 search results - page 80 / 919

» Reasoning about Plans

120

click to vote

VLDB
1994
ACM

102views Database» more VLDB 1994»

Reasoning About Spatial Relationships in Picture Retrieval Systems

15 years 8 months ago

Download www.vldb.org

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

claim paper

Read More »

114

click to vote

PODC
1989
ACM

84views Distributed and Parallel Com...» more PODC 1989»

Equational Reasoning About Nondeterministic Processes

15 years 8 months ago

Download userweb.cs.utexas.edu

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

claim paper

Read More »

118

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 8 months ago

Download www.ict.swin.edu.au

Markus Lumpe

claim paper