491 search results - page 51 / 99 » Avoiding Determinization |
HRI
2006
ACM
15 years 4 months ago
2006
ACM
We are interested in the problems of a human operator who is responsible for rapidly and accurately responding to requests for help from an autonomous robotic construction team. A...
SIGIR
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we propose a new strategy with time granularity reasoning for utilizing temporal information in topic tracking. Compared with previous ones, our work has four disti...
APCSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Continuing advances in semiconductor technology and demand for higher performance will lead to more powerful, superpipelined and wider issue processors. Instruction caches in such ...
CCGRID
2005
IEEE
15 years 4 months ago
2005
IEEE
— Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits support advance reservati...
FOCS
2005
IEEE
15 years 4 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...