10848 search results - page 1756 / 2170 » Programming in Biomolecular Computation |
216
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
203
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
191
click to vote
CONSTRAINTS
2006
15 years 7 months ago
2006
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
148
click to vote
ENDM
2006
15 years 6 months ago
2006
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
230
click to vote
IJRR
2008
15 years 6 months ago
2008
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...