1224 search results - page 148 / 245 » Design and Implementation of a Practical Parallel Delaunay A... |
110
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...
124
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
134
click to vote
IWCMC
2010
ACM
15 years 6 months ago
2010
ACM
We investigate the packet-level scheduling for the downlink of multiple-input multiple-output (MIMO) multi-user systems using beamforming. We consider the traffic arrival process ...
167
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
120
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
We present an efficient algorithm for nonlocal image filtering with applications in electron cryomicroscopy. Our denoising algorithm is a rewriting of the recently proposed nonloc...