3031 search results - page 491 / 607 » Investigating human-computer optimization |
125
click to vote
STOC
1999
ACM
15 years 7 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 ...
126
click to vote
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
The bigraph crossing problem, embedding the two node sets of a bipartite graph G = V0;V1;E along two parallel lines so that edge crossings are minimized, has application to placeme...
139
click to vote
MICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Compressing the instructions of an embedded program is important for cost-sensitive low-power control-oriented embedded computing. A number of compression schemes have been propos...
134
click to vote
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
115
click to vote
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...