3073 search results - page 207 / 615 » Real World Verification |
159
Voted
SIGIR
2004
ACM
16 years 16 days ago
2004
ACM
In this poster, we will present the results of efforts we have undertaken to conduct evaluations of a QA system in a real world environment and to understand the nature of the dim...
173
click to vote
GD
2004
Springer
16 years 15 days ago
2004
Springer
We initiate a new problem of automatic metro map layout. In general, a metro map consists of a set of lines which have intersections or overlaps. We define a set of aesthetic crit...
163
click to vote
GI
2004
Springer
16 years 15 days ago
2004
Springer
: John entered his office. John left his office. The order of these updates to a context-aware system is important to reflect the state in the real world. Context information ob...
182
Voted
SAT
2004
Springer
16 years 14 days ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
197
click to vote
CA
2003
IEEE
16 years 12 days ago
2003
IEEE
Agent design has to date concerned itself with the issues pertaining to a single body embedded in a single environment, whether virtual or real. This paper discusses the notion of...