4460 search results - page 497 / 892 » Formal methods for interactive systems |
191
click to vote
TII
2010
15 years 1 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
215
click to vote
HCI
2009
15 years 4 months ago
2009
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...
168
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
197
click to vote
TROB
2010
15 years 1 months ago
2010
This paper presents a visual-servoing method that is based on 2-D ultrasound (US) images. The main goal is to guide a robot actuating a 2-D US probe in order to reach a desired cro...
199
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...