2152 search results - page 178 / 431 » On Automating the Calculus of Relations |
169
click to vote
TAPSOFT
1993
Springer
15 years 10 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
182
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
149
click to vote
FQAS
2000
Springer
15 years 10 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
146
click to vote
FP
1995
15 years 10 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
165
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...