21094 search results - page 257 / 4219 » An experiment using DLV-K |
168
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-We study the problem of achieving global behavior in a group of distributed robots using only local sensing and minimal communication, in the context of formations. The go...
194
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
Online reviews are an important asset for users deciding to buy a product, see a movie, or go to a restaurant, as well as for businesses tracking user feedback. However, most revi...
160
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
TiltText, a new technique for entering text into a mobile phone is described. The standard 12-button text entry keypad of a mobile phone forces ambiguity when the 26letter Roman a...
182
click to vote
TREC
2003
15 years 8 months ago
2003
This paper presents Carnegie Mellon University’s experiments on the mixed named-page and homepage finding task of the TREC 12 Web Track. Our results were strong; we achieved the...
198
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...