9572 search results - page 1522 / 1915 » Cover Algorithms and Their Combination |
215
Voted
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
216
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
212
click to vote
GCB
2007
Springer
16 years 1 months ago
2007
Springer
: The recent availability of large data sets of protein- protein-interactions (PPIs) from various species offers new opportunities for functional genomics and proteomics. We descri...
170
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
158
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In previous work [8] a computational framework was demonstrated that allows a mobile robot to autonomously evolve models its own body for the purposes of adaptive behavior generat...