3575 search results - page 372 / 715 » Modeling Concurrency with Geometry |
201
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
217
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a data-driven shape model for reconstructing human body models from one or more 2D photos. One of the key tasks in reconstructing the 3D model from image data ...
202
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We consider a change detection problem in video surveillance applications and propose busy-idle rates, meaningful and easy to compute features, to characterize the behavior profil...
191
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We present a segmentation method for vessels using an implicit deformable model with a soft shape prior. Blood vessels are challenging structures to segment due to their ...
173
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...