507 search results - page 82 / 102 » Counterexample-Guided Abstraction Refinement |
EPIA
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
ECCV
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. This paper presents a method for determining the six-degreeof-freedom (DOF) transformation between a camera and a base frame of interest, while concurrently estimating th...
CBSE
2008
Springer
13 years 12 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
AMDO
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
ECCV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Robust face alignment is crucial for many face processing applications. As face detection only gives a rough estimation of face region, one important problem is how to al...