Sciweavers

253 search results - page 27 / 51
» Dynamic Trees and Dynamic Point Location
Sort
View
FMOODS
2008
13 years 10 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
APPML
2007
58views more  APPML 2007»
13 years 9 months ago
A class of exactly solvable free-boundary inhomogeneous porous medium flows
We describe a class of inhomogeneous two-dimensional porous medium flows, driven by a finite number of multipole sources; the free boundary dynamics can be parametrized by polyn...
Sam D. Howison, Igor Loutsenko, John R. Ockendon
SI3D
2005
ACM
14 years 2 months ago
Broad-phase collision detection using semi-adjusting BSP-trees
The broad-phase step of collision detection in scenes composed of n moving objects is a challenging problem because enumerating collision pairs has an inherent O(n2) complexity. S...
Rodrigo G. Luque, João Luiz Dihl Comba, Car...
CLIMA
2004
13 years 10 months ago
Fault Tolerant and Fixed Scalable Structure of Middle-Agents
Middle-agents are used by end-agents to locate service providers in multi-agent systems. One central middle-agent represents a single point of failure and communication bottleneck ...
Pavel Tichý
TVCG
1998
143views more  TVCG 1998»
13 years 8 months ago
Calibration-Free Augmented Reality
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...
Kiriakos N. Kutulakos, James R. Vallino