Sciweavers

3504 search results - page 344 / 701
» Computational Aspects of Equilibria
Sort
View
IV
1999
IEEE
198views Visualization» more  IV 1999»
15 years 11 months ago
A Prototype Hotel Browsing System Using Java3D
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
D. Ball, Majid Mirmehdi
EUROMICRO
1998
IEEE
15 years 11 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
148
Voted
ICRA
1998
IEEE
107views Robotics» more  ICRA 1998»
15 years 11 months ago
Designing Personal Tele-Embodiment
At the intersection of tele-robotics, computer networking, and human social interaction we have chosen to explore an area we identifyas personal tele-embodiment. At the core of th...
Eric Paulos, John F. Canny
168
Voted
SIGADA
1998
Springer
15 years 11 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
ECP
1997
Springer
125views Robotics» more  ECP 1997»
15 years 11 months ago
Possibilistic Planning: Representation and Complexity
A possibilistic approach of planning under uncertainty has been developed recently. It applies to problems in which the initial state is partially known and the actions have graded...
Célia da Costa Pereira, Frédé...