Sciweavers

700 search results - page 48 / 140
» Towards a theory of
Sort
View
ECAL
2001
Springer
14 years 13 days ago
Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
Daniel C. Bünzli, Mathieu S. Capcarrèr...
KRMED
2004
13 years 9 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn
AIMSA
2010
Springer
13 years 9 months ago
Towards Ontological Blending
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...
Joana Hois, Oliver Kutz, Till Mossakowski, John A....
ATAL
2004
Springer
14 years 1 months ago
Physicomimetics for Mobile Robot Formations
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
William M. Spears, Rodney Heil, Diana F. Spears, D...
POPL
2012
ACM
12 years 3 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...