3819 search results - page 256 / 764 » The Emergence of Cellular Computing |
EC
2000
13 years 8 months ago
2000
To successfully apply evolutionary algorithms to the solution of increasingly complex problems, we must develop effective techniques for evolving solutions in the form of interact...
BIB
2010
13 years 7 months ago
2010
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
RTCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
TIME
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
ACMACE
2004
ACM
14 years 1 months ago
2004
ACM
: This paper describes a research project aimed at developing authoring tools for the collaborative creation of soundscapes and an associated system for the storage and playback of...