1246 search results - page 111 / 250 » Recursive Timed Automata |
161
Voted
BIOCOMP
2009
15 years 2 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
131
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
140
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
133
Voted
STACS
2010
Springer
16 years 11 hour ago
2010
Springer
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
125
click to vote
ACRI
2006
Springer
15 years 11 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...