2317 search results - page 146 / 464 » Model based testing for agent systems |
136
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
139
Voted
FLAIRS
2003
15 years 5 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
125
click to vote
AAAI
2012
13 years 6 months ago
2012
We consider the problem of designing automated strategies for interactions with human subjects, where the humans must be rewarded for performing certain tasks of interest. We focu...
138
Voted
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
An early prediction of resource utilization and its impact on system performance and reliability can reduce the overall system cost, by allowing early correction of detected probl...
127
Voted
KDD
1997
ACM
15 years 7 months ago
1997
ACM
KDD (Knowledge Discovery in Databases) processhas become a new and important research area. Within the framework of KDD process and the GLS (Global Learning Scheme) system recentl...