9067 search results - page 1789 / 1814 » Adaptive Model Checking |
138
Voted
KYOTODL
2000
15 years 3 months ago
2000
Today, bibliographical information is kept in a variety of digital libraries available on the Internet. The integration of bibliographical data is considered as one of the most im...
131
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
114
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Multi-agent learning is a crucial method to control or find solutions for systems, in which more than one entity needs to be adaptive. In today's interconnected world, such s...
128
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Infrastructure-as-a-Service (IaaS) cloud computing offers new possibilities to scientific communities. One of the most significant is the ability to elastically provision and relin...
129
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...