Sciweavers

2047 search results - page 246 / 410
» Interactive Immersive Design Application: Analysis of Requir...
Sort
View
SI3D
1999
ACM
15 years 10 months ago
Haptic sculpting of dynamic surfaces
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
Frank Dachille, Hong Qin, Arie E. Kaufman, Jihad E...
DSRT
1999
IEEE
15 years 10 months ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro
183
Voted
ICMI
2009
Springer
188views Biometrics» more  ICMI 2009»
15 years 3 months ago
Detecting user engagement with a robot companion using task and social interaction-based features
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
Ginevra Castellano, André Pereira, Iolanda ...
BIRTHDAY
2006
Springer
15 years 9 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
GIS
2007
ACM
16 years 7 months ago
A model for enriching trajectories with semantic geographical information
The collection of moving object data is becoming more and more common, and therefore there is an increasing need for the efficient analysis and knowledge extraction of these data ...
Alejandro A. Vaisman, Bart Kuijpers, Bart Moelans,...