3016 search results - page 123 / 604 » Biochemically-Inspired Emergent Computation |
139
click to vote
JUCS
2008
15 years 4 months ago
2008
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
134
Voted
RTCSA
2009
IEEE
15 years 11 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...
160
click to vote
TIME
2007
IEEE
15 years 11 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...
142
click to vote
ACMACE
2004
ACM
15 years 10 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...
131
Voted
DSRT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--With the emergence of pervasive computing technologies into vehicles, driving has moved from an active task of steering towards an interaction or adaptation task with res...