360 search results - page 64 / 72 » The TV-Break Packing Problem |
STOC
1999
ACM
13 years 11 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
ROBOCUP
1998
Springer
13 years 11 months ago
1998
Springer
The RoboCup simulator competition is one of the most challenging international proving grounds for contemporary AI research. Exactly because of the high level of complexity and a l...
ISPD
1997
ACM
13 years 11 months ago
1997
ACM
In a typical VLSI/PCB design, some modules are pre-placed in advance, and the other modules are requested to be placed without overlap with these pre-placed modules. The presence ...
APCHI
2004
IEEE
13 years 11 months ago
2004
IEEE
One strategy for increasing the usefulness, ease of use and satisfaction of wireless navigation and related services is to tailor a package of services to meet the requirements of ...
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...