74 search results - page 2 / 15 » Decision Procedures for Loop Detection |
CBMS
2006
IEEE
13 years 11 months ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
CIKM
2009
Springer
13 years 11 months ago
2009
Springer
Many outlier detection methods do not merely provide the decision for a single data object being or not being an outlier but give also an outlier score or “outlier factor” sig...
BMVC
2010
13 years 2 months ago
2010
We propose a new coherent framework for joint object detection, 3D layout estimation, and object supporting region segmentation from a single image. Our approach is based on the m...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...