4460 search results - page 838 / 892 » Formal methods for interactive systems |
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
INFOVIS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
MM
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes a virtual reality system that realizes both an avatar motion control and a virtual object manipulation without avatar representation. Our goal is to do seamle...
109
click to vote
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
HT
2010
ACM
15 years 2 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...