612 search results - page 79 / 123 » Bounded model checking for knowledge and real time |
COMPGEOM
2005
ACM
14 years 11 months ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...
ROBOCOMM
2007
IEEE
15 years 4 months ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...
HAPTICS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
AUIC
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
SIGGRAPH
2010
ACM
15 years 2 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...