2174 search results - page 280 / 435 » Efficient Testing of Forecasts |
120
click to vote
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...
225
click to vote
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...
132
Voted
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...
127
click to vote
ERCIMDL
2009
Springer
15 years 1 months ago
2009
Springer
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...
125
click to vote
ESIAT
2009
IEEE
15 years 1 months ago
2009
IEEE
Through analysis of present pseudo-parallel genetic algorithm, propose a new dynamic sub-population pseudo-parallel genetic algorithm. It changes the condition that the magnitude o...