3819 search results - page 602 / 764 » The Emergence of Cellular Computing |
139
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
165
click to vote
CALCO
2005
Springer
16 years 13 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
188
click to vote
CAV
2005
Springer
16 years 13 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
172
click to vote
ECAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper investigates the interaction between cultural evolution and biological evolution in the emergence of phonemic coding in speech. It is observed that our nearest relatives...
186
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
The need to build modular, scalable, and complex technology capable of adaptation, self-assembly, and self-repair has fuelled renewed interest in using approaches inspired by deve...