16257 search results - page 370 / 3252 » D-finiteness: algorithms and applications |
210
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Over the past few years, new massively parallel DNA sequencing technologies have emerged. These platforms generate massive amounts of data per run, greatly reducing th...
433
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Much recent research [8, 6, 7] suggests significant power and energy benefits of relaxing correctness constraints in future processors. Such processors with relaxed constraints ...
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
167
click to vote
ICIRA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
225
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Many vision problems can be cast as optimizing the conditional probability density function p(C|I) where I is an image and C is a vector of model parameters describing the image. ...