5544 search results - page 950 / 1109 » Three Inadequate Models |
229
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
143
Voted
MOBIHOC
2007
ACM
16 years 2 months ago
2007
ACM
The non-existence of an end-to-end path poses a challenge in adapting the traditional routing algorithms to delay tolerant networks (DTNs). Previous works include centralized rout...
154
click to vote
WSDM
2010
ACM
16 years 20 days ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
135
click to vote
ICCAD
2003
IEEE
16 years 4 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
109
click to vote
HRI
2009
ACM
15 years 10 months ago
2009
ACM
Providing route directions is a complicated interaction. Utterances are combined with gestures and pronounced with appropriate timing. This study proposes a model for a robot that...