880 search results - page 172 / 176 » Model checking erlang programs: the functional approach |
123
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The identification of chromosomal homology will shed light on such mysteries of genome evolution as DNA duplication, rearrangement and loss. Several approaches have be...
118
click to vote
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
Motivation: Since the whole genome sequences for many species are currently available, computational predictions of RNA secondary structures and computational identifications of t...
113
click to vote
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
135
click to vote
JSA
2010
14 years 8 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
135
click to vote
NIPS
2003
15 years 2 months ago
2003
In typical classification tasks, we seek a function which assigns a label to a single object. Kernel-based approaches, such as support vector machines (SVMs), which maximize the ...