691 search results - page 46 / 139 » Automatically Proving Linearizability |
ESOP
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
IANDC
2008
13 years 10 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
CVPR
2006
IEEE
14 years 12 months ago
2006
IEEE
Automatic polyp detection is an increasingly important task in medical imaging with virtual colonoscopy [15] being widely used. In this paper, we present a 3D object detection alg...
ICIP
2008
IEEE
14 years 11 months ago
2008
IEEE
Initial studies have shown that automatic inference of high-level image quality or aesthetics is very challenging. The ability to do so, however, can prove beneficial in many appl...
CICLING
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Automatic Document summarization is proving to be an increasingly important task to overcome the information overload. The primary task of document summarization process ...