3337 search results - page 430 / 668 » interactions 2006 |
212
click to vote
ACOM
2006
Springer
16 years 3 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
163
Voted
ADC
2006
Springer
16 years 3 days ago
2006
Springer
This paper presents an original approach to modelling user’s information need in text filtering environment. This approach relies on a specific novelty detection model which a...
129
click to vote
AH
2006
Springer
16 years 3 days ago
2006
Springer
The volume of course-related information available to students is rapidly increasing. This abundance of information has created the need to help students find, organize, and use re...
133
click to vote
ACMACE
2006
ACM
16 years 3 days ago
2006
ACM
Existing gaming controllers are limited in their end-user configurability. As a complement to current game control technology, we present the VoodooIO Gaming Kit, a real-time adap...
140
click to vote
APLAS
2006
ACM
16 years 3 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...