1400 search results - page 160 / 280 » Dynamic Galois Theory |
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper proposes the requirements driven agent collaboration. This proposal assumes that there are plenty different service agents distributed in Internet. When a request for ...
111
click to vote
CEEMAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
ECAL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...