563 search results - page 109 / 113 » An Observational Model for Spatial Logics |
113
click to vote
PAMI
2012
13 years 5 days ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
112
click to vote
CVPR
2012
IEEE
13 years 5 days ago
2012
IEEE
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
104
click to vote
IEEEPACT
2009
IEEE
14 years 7 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
119
click to vote
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...