640 search results - page 46 / 128 » Reasoning About Web-Site Structure |
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
116
click to vote
AAAI
2012
13 years 2 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Modern structure from motion techniques are capable of building city-scale 3D reconstructions from large image collections, but have mostly ignored the problem of largescale struc...
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
IJCAI
1989
15 years 1 months ago
1989
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...