3073 search results - page 207 / 615 » Real World Verification |
117
click to vote
SIGIR
2004
ACM
15 years 10 months 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...
122
click to vote
GD
2004
Springer
15 years 10 months 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...
120
Voted
GI
2004
Springer
15 years 10 months 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...
140
click to vote
SAT
2004
Springer
15 years 10 months 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...
153
Voted
CA
2003
IEEE
15 years 10 months 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...