507 search results - page 82 / 102 » Counterexample-Guided Abstraction Refinement |
109
click to vote
EPIA
1995
Springer
15 years 6 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...
113
Voted
ECCV
2010
Springer
15 years 5 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...
148
Voted
CBSE
2008
Springer
15 years 5 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...
153
click to vote
AMDO
2006
Springer
15 years 5 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...
173
click to vote
ECCV
2006
Springer
15 years 5 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...