2137 search results - page 204 / 428 » Proving Abstract Non-interference |
113
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In recent years several strategies for inferring gene regulatory networks from observed time series data of gene expression have been suggested based on Evolutionary Algo...
126
Voted
ICA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider the source extraction problem for stereo instantaneous musical mixtures with more than two sources. We prove that usual separation methods based only on spati...
114
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
113
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
220
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...