Sciweavers

5180 search results - page 736 / 1036
» Concurrency, Time, and Constraints
Sort
View
209
Voted
IJSNET
2010
103views more  IJSNET 2010»
15 years 5 months ago
Quality-aware sensor data collection
: Many sensor applications often require to collect raw sensed values from many sensor nodes to one centralized server. Sensor data collection typically comes with various quality ...
Qi Han, Doug Hakkarinen, Pruet Boonma, Junichi Suz...
IVA
2010
Springer
15 years 5 months ago
Realizing Multimodal Behavior - Closing the Gap between Behavior Planning and Embodied Agent Presentation
Abstract. Generating coordinated multimodal behavior for an embodied agent (speech, gesture, facial expression. . . ) is challenging. It requires a high degree of animation control...
Michael Kipp, Alexis Heloir, Marc Schröder, P...
JCS
2010
124views more  JCS 2010»
15 years 5 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
LICS
2010
IEEE
15 years 5 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
PAMI
2010
143views more  PAMI 2010»
15 years 5 months ago
Iris Recognition: On the Segmentation of Degraded Images Acquired in the Visible Wavelength
—Iris recognition imaging constraints are receiving increasing attention. There are several proposals to develop systems that operate in the visible wavelength and in less constr...
Hugo Proença