4099 search results - page 637 / 820 » A Framework for Interactive Proof |
147
click to vote
GW
2003
Springer
15 years 11 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...
143
click to vote
HUC
2003
Springer
15 years 11 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...
180
click to vote
ICLP
2003
Springer
15 years 11 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...
137
click to vote
CODES
2002
IEEE
15 years 11 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...
160
click to vote
ECBS
2002
IEEE
15 years 11 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 ...