3575 search results - page 219 / 715 » Presentations of computably enumerable reals |
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
179
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a novel distributed framework for multi-target tracking with an efficient data association computation. A decentralized representation of trackers' motion...
170
click to vote
AFRIGRAPH
2003
ACM
15 years 11 months ago
2003
ACM
The perceived realism of a computer generated image depends on the accuracy of the modeling and illumination calculations, the limitations of the display device, and the way in wh...
180
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Simulating fluids based on vortex filaments is highly attractive for the creation of special effects because it gives artists full control over the simulation using familiar too...
178
click to vote
VR
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a novel approach for real-time path planning of multiple virtual agents in complex dynamic scenes. We introduce a new data structure, Multi-agent Navigation Graph (MaNG...