1941 search results - page 21 / 389 » Reasoning about Computations Using Two-Levels of Logic |
99
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
114
click to vote
AAAI
2006
15 years 3 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
127
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
133
Voted
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
108
Voted
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...