5109 search results - page 892 / 1022 » On Learning Limiting Programs |
153
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
111
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
121
click to vote
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
115
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Traditional code optimizers have produced significant performance improvements over the past forty years. While promising avenues of research still exist, traditional static and p...
124
click to vote
MICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...