8587 search results - page 175 / 1718 » Interactive dynamic abstraction |
121
click to vote
ASM
2000
ASM
15 years 9 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
156
click to vote
HCI
2009
15 years 2 months ago
2009
Abstract. The current paper presents the evaluation framework and plans developed for the evaluation of the applications to be developed in the context of the
160
Voted
LCR
1998
Springer
15 years 8 months ago
1998
Springer
There is an emerging class of real-time interactive applications that require the dynamic integration of task and data parallelism. An example is the Smart Kiosk, a free-standing ...
126
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes an interactive tour-guide robot, which was successfully exhibited in a Smithsonian museum. During its two weeks of operation, the robot interacted with more t...
120
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
In this paper, we present a short review as well as novel results on a recently established counterintuitive phenomenon of cluster aggregation of particles that interact via purel...