Sciweavers

2934 search results - page 459 / 587
» Universality in Multi-Agent Systems
Sort
View
ICCV
2005
IEEE
16 years 15 days ago
Fast Head Tilt Detection for Human-Computer Interaction
Abstract. Accurate head tilt detection has a large potential to aid people with disabilities in the use of human-computer interfaces and provide universal access to communication s...
Benjamin N. Waber, John J. Magee, Margrit Betke
ICEIS
2005
IEEE
16 years 14 days ago
Benchmarking an XML Mediator
: In the recent years, XML has become the universal interchange format. Many investigations have been made on storing, querying and integrating XML with existing applications. Many...
Florin Dragan, Georges Gardarin
LICS
2005
IEEE
16 years 14 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
WMTE
2005
IEEE
16 years 14 days ago
Supporting Activity Awareness for Teams-Games-Tournaments with GSM Network
The Internet can be used to promote collaborative learning among students. However, since the web-based collaborative learning environment relies entirely on the availability of c...
Chen-Chung Liu, Shu-Yuan Tao, Jinu-Ning Nee, Baw-J...
ACMSE
2005
ACM
16 years 13 days ago
First year experiences of NSF REU grant: emerging issues in computer networking
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
Stan Kurkovsky, Bhagyavati