4099 search results - page 637 / 820 » A Framework for Interactive Proof |
124
click to vote
GW
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
114
click to vote
HUC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the development of a user-oriented framework to support the user reconfiguration of ubiquitous domestic environments. We present a lightweight component model t...
143
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
110
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
127
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
Resource heterogeneity offers a new challenge to portability of resource critical applications such as multimedia or interactive applications. Under heterogeneous environments, a ...