216 search results - page 3 / 44 » Interactive Visualization of State Transition Systems |
ICRA
2007
IEEE
14 years 1 days ago
2007
IEEE
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
CSREASAM
2006
13 years 7 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
SIGGRAPH
1995
ACM
13 years 9 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
DAC
1994
ACM
13 years 9 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
IFL
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...