9405 search results - page 1540 / 1881 » Computing a Model of Set Theory |
211
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a method for the animation of fire propagation and the burning consumption of objects represented as volumetric data sets. Our method uses a volumetric fire propaga...
178
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a first investigation on the structure from motion problem from the combination of full and weak perspective images. This problem arises in multiresolution obj...
186
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Existing content-based publish/subscribe systems are designed assuming that all matching publications are equally relevant to a subscription. As we cannot know in advance the dist...
281
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
193
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. This paper presents a unified approach to crowd segmentation. A global solution is generated using an Expectation Maximization framework. Initially, a head and shoulder d...