4460 search results - page 687 / 892 » Formal methods for interactive systems |
248
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and delicious.co...
138
click to vote
AUIC
2005
IEEE
15 years 10 months ago
2005
IEEE
The augmented desk is gaining popularity in recent HCI research. Its layout of a large horizontal screen on the desk enhances immersive and intense collaborative experiences. A re...
159
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
165
click to vote
PR
2007
15 years 4 months ago
2007
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
158
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...