880 search results - page 115 / 176 » Model checking erlang programs: the functional approach |
125
click to vote
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a convex optimization based approach for piecewise planar reconstruction. We show that the task of reconstructing a piecewise planar environment can be se...
147
click to vote
SMI
2008
IEEE
15 years 10 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
131
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Gene expression programs depend on recognition of cis elements in promoter region of target genes by transcription factors (TFs), but how TFs regulate gene expression ...
164
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
145
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...