1301 search results - page 181 / 261 » Specifications via Realizability |
IANDC
2007
13 years 7 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
SYNTHESE
2008
13 years 7 months ago
2008
The paper is concerned with how neo-Lockean accounts of personal identity should respond to the challenge of animalist accounts. Neo-Lockean accounts that hold that persons can cha...
TIFS
2008
13 years 7 months ago
2008
A framework is proposed for synchronization in feature-based data embedding systems that is tolerant of errors in estimated features. The method combines feature-based embedding wi...
BMCBI
2004
13 years 7 months ago
2004
Background: Mass spectrometry based proteomics result in huge amounts of data that has to be processed in real time in order to efficiently feed identification algorithms and to e...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...