170 search results - page 21 / 34 » The design of puzzle selection strategies for GWAP systems |
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
We address the problem of minimizing power consumption in behavioral synthesis of data-dominated circuits. The complex nature of power as a cost function implies that the effects ...
LPAR
2001
Springer
14 years 16 days ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
DAGSTUHL
2009
13 years 9 months ago
2009
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Existing keyword suggestion tools from various search engine companies could automatically suggest keywords related to the advertisers' products or services, counting in simp...