2432 search results - page 200 / 487 » Using simple abstraction to reinvent computing for paralleli... |
156
click to vote
ACIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Even if lots of object invariant descriptors have been proposed in the literature, putting them into practice in order to obtain a robust system face to several perturbat...
158
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
187
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
176
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Deformable models are by their formulation able to solve surface extraction problem from noisy volumetric images. This is since they use image independent information, in...
170
click to vote
ACCV
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this paper, we propose an efficient method for finding consistent correspondences between two sets of features. Our matching algorithm augments the discriminative pow...