4192 search results - page 525 / 839 » Efficient testing of groups |
146
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
In the numerical solution of large-scale eigenvalue problems, Davidson-type methods are an increasingly popular alternative to Krylov eigensolvers. The main motivation is to avoid ...
147
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Feature selection is an important issue for object detection. In this paper, we propose an effective wrapper-based feature selection scheme using Binary Particle Swarm Optimizatio...
127
Voted
IGARSS
2010
15 years 1 months ago
2010
Satellite Differential Radar Interferometry (DInSAR) has demonstrated its ability for monitoring mine-induced ground subsidence. However, it is still a challenging task to routine...
233
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
136
click to vote
RECOMB
2010
Springer
15 years 1 months ago
2010
Springer
Chaining fragments is a crucial step in genome alignment. Existing chaining algorithms compute a maximum weighted chain with no overlaps allowed between adjacent fragments. In prac...