5499 search results - page 82 / 1100 » Generalized Rewrite Theories |
ENTCS
2002
13 years 10 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
PLPV
2009
ACM
14 years 7 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
ECAL
2005
Springer
14 years 3 months ago
2005
Springer
The concept of modularity appears to be crucial for many questions in the field of Artificial Life research. However, there have not been many quantitative measures for modularit...
COSIT
2001
Springer
14 years 2 months ago
2001
Springer
Geographic information is defined as a subset of spatial information, specific to the spatiotemporal frame of the Earth’s surface. Thus geographic information theory inherits the...
BC
2006
13 years 10 months ago
2006
We show how a general quantitative theory of neural computation can be used to explain two recent experimental findings in neuroscience. The first of these findings is that in hum...