5624 search results - page 473 / 1125 » On Conditional Covering Problem |
186
click to vote
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
204
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
169
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mobile video broadcasting service, or mobile TV, is a promising application for 3G wireless network operators. Most existing solutions for video broadcast/multicast services in ...
179
click to vote
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
189
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...