3575 search results - page 210 / 715 » Modeling Concurrency with Geometry |
141
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
172
click to vote
ISMS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
212
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This paper addresses the problem of characterizing
a general class of cameras under reasonable, “linear”
assumptions. Concretely, we use the formalism and
terminology of cla...
147
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
169
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we address the problem of 3D Model transmission over error-prone channels using multiple description coding (MDC). The objective of MDC is to encode a source into m...