Sciweavers

747 search results - page 31 / 150
» Theory and Construction of Molecular Computers
Sort
View
ALS
2003
Springer
14 years 1 months ago
Towards a Four Factor Theory of Anticipatory Learning
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
Mark Witkowski
HIS
2007
13 years 10 months ago
Organization-Oriented Chemical Programming
Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, faulttolerance, and evolvability. However, it is difficult to predict...
Peter Dittrich, Naoki Matsumaru
WSPI
2004
13 years 10 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...
ACL
1993
13 years 10 months ago
A Complete and Recursive Feature Theory
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
Rolf Backofen, Gert Smolka
FOSSACS
2011
Springer
13 years 4 days ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel