2205 search results - page 322 / 441 » Mutation Operators for Specifications |
105
Voted
WSC
2008
15 years 5 months ago
2008
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
114
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
102
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
This paper studies self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies, briefly describ...
132
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we deal with the sequential decision making problem of agents operating in computational economies, where there is uncertainty regarding the trustworthiness of serv...
111
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...