Sciweavers

253 search results - page 27 / 51
» Dynamic Trees and Dynamic Point Location
Sort
View
FMOODS
2008
15 years 3 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»
15 years 2 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
15 years 7 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...
104
Voted
CLIMA
2004
15 years 3 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ý
115
Voted
TVCG
1998
143views more  TVCG 1998»
15 years 1 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