1727 search results - page 180 / 346 » A Technique for Large Automated Mechanism Design Problems |
247
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
177
click to vote
ICCBR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
166
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
191
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
198
click to vote
EH
1999
IEEE
15 years 10 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...