Sciweavers

291 search results - page 14 / 59
» Building theory in the sciences of the artificial
Sort
View
APAL
2005
117views more  APAL 2005»
13 years 7 months ago
About cut elimination for logics of common knowledge
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
Luca Alberucci, Gerhard Jäger
ICRA
2010
IEEE
103views Robotics» more  ICRA 2010»
13 years 6 months ago
Using a swarm of self-propelled natural microrobots in the form of flagellated bacteria to perform complex micro-assembly tasks
— Many science fiction novels have envisioned swarms of artificial microrobots capable of performing complex collective tasks. Unfortunately, today’s technological constraints ...
Sylvain Martel, Mahmood Mohammadi
IBERAMIA
1998
Springer
13 years 11 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
FUIN
2006
103views more  FUIN 2006»
13 years 7 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
14 years 15 days ago
ICT-Impact on Services
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
Alexander G. Bielowski, Rita Walczuch