276 search results - page 37 / 56 » Abstraction and Refinement for Local Reasoning |
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...
ECSA
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. A major reason leading to tracking failure is the spatial distractions that exhibit similar visual appearances as the target, because they also generate good matches to t...