4022 search results - page 608 / 805 » Adaptive Sweeping Techniques |
241
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The pervasive adoption of wireless technologies is creating a growing demand for seamless interaction with wireless services. By sharing resources across devices such as PDA'...
173
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes the creation of an interactive audience voting system, iVo. The device is intended for diving and gymnastics events during the 2004 Summer Olympics in Athens,...
131
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The Internet has become an important part of our daily lives, with browsers serving as the main tool of navigation. For users with severe disabilities, access to the Internet can ...
146
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
196
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...