640 search results - page 73 / 128 » Reasoning About Web-Site Structure |
DBPL
2003
Springer
14 years 28 days ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
ECCV
2010
Springer
14 years 1 days ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
ISKI
1994
13 years 11 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...