8874 search results - page 1638 / 1775 » A New Implementation of Automath |
143
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
137
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...
145
click to vote
HRI
2006
ACM
15 years 10 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
135
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
155
click to vote
IWCMC
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a load-based transmission scheduling (LoBaTS) protocol for wireless ad hoc networks. Since terminals in these networks may be required to forward unequal amoun...