305 search results - page 54 / 61 » Experiences with Modeling and Verification of Regulations |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
POPL
2010
ACM
13 years 10 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Many tracking methods face a fundamental dilemma in practice: tracking has to be computationally efficient but verifying if or not the tracker is following the true target tends t...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
In this paper, we propose a Bayesian approach to video object segmentation. Our method consists of two stages. In the first stage, we partition the video data into a set of 3D wate...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. Precise segmentation of three-dimensional (3D) magnetic resonance angiography (MRA) image can be a very useful computer aided diagnosis (CAD) tool in clinical routines. O...