7978 search results - page 1246 / 1596 » Combining shared-coin algorithms |
183
click to vote
FMICS
2007
Springer
16 years 9 days 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...
186
click to vote
CVPR
2009
IEEE
16 years 9 days 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...
197
click to vote
GCB
2007
Springer
16 years 9 days 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...
148
click to vote
GECCO
2007
Springer
16 years 9 days 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...
159
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we propose the combination of different optimization techniques in order to solve “hard” two- and threeobjective optimization problems at a relatively low comp...