2152 search results - page 96 / 431 » On Automating the Calculus of Relations |
130
click to vote
ECSQARU
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
107
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
142
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Due to the capacity of pan-tilt-zoom (PTZ) cameras to
simultaneously cover a panoramic area and maintain high
resolution imagery, researches in automated surveillance
systems wi...
100
Voted
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
84
Voted
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...