7890 search results - page 471 / 1578 » The MathSAT 3 System |
158
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
190
Voted
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
142
click to vote
GCC
2003
Springer
16 years 2 days ago
2003
Springer
This paper proposes a strategy of improving file availability of peer-to-peer file storage systems, which provides the ability of identifying duplicate files and leveraging the ...
144
click to vote
GW
2003
Springer
16 years 2 days ago
2003
Springer
The paper argues that the communicative system of touch includes a lexicon, an alphabet and some norms of use, and presents a research aimed at making them explicit. 104 items of t...
163
click to vote
SOFSEM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Simulation of global illumination in 3D scenes is a computationally expensive task. One of the goals of the project HiQoS (High Performance Multimedia Services with Quali...