3025 search results - page 222 / 605 » Interaction in the large |
135
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
195
click to vote
MMM
2003
Springer
16 years 12 hour ago
2003
Springer
In this paper, we present our approach to modelling perceptive 3D virtual characters with emotion and personality. The characters are powered by a dialogue system that consists of...
194
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
177
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
163
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...