626 search results - page 85 / 126 » When Can Formal Methods Make a Real Difference |
118
Voted
IRI
2007
IEEE
15 years 9 months ago
2007
IEEE
User feedback is widely deployed in recent multimedia research to refine retrieval performance. However, most of the existing online learning algorithms handle interactions of a s...
122
click to vote
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper proposes a novel method of learning a users preferred reward modalities for human-robot interaction through solving a cooperative training task. A learning algorithm ...
139
Voted
KDD
2006
ACM
16 years 4 months ago
2006
ACM
How do we find a natural clustering of a real world point set, which contains an unknown number of clusters with different shapes, and which may be contaminated by noise? Most clu...
147
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
196
Voted
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
An important feature of a modern mobile device is that it can position itself. Not only for use on the device but also for remote applications that require tracking of the device....