4962 search results - page 676 / 993 » Stochastic Model Checking |
96
Voted
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
Our agent-based model of genotype editing is defined by two distinct genetic components: a coding portion encoding phenotypic solutions, and a non-coding portion used to edit the ...
124
Voted
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
125
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— When a network of robots or static sensors is emplaced in an environment, the spatial relationships between the sensing units must be inferred or computed for most key applicat...
117
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...
94
Voted
SRDS
2006
IEEE
15 years 8 months ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...