21319 search results - page 3699 / 4264 » An Approach for Method Reengineering |
165
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
185
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Meta-level control manages the allocation of limited resources to deliberative actions. This paper discusses efforts in adding meta-level control capabilities to a Markov Decision...
188
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
187
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Auction methods have been successfully used for coordinating teams of robots in the multi-robot routing problem, a representative domain for multi-agent coordination. Solutions to...
216
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...