1566 search results - page 234 / 314 » On a Cone Covering Problem |
136
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
137
click to vote
ISBRA
2009
Springer
15 years 10 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...
143
click to vote
DSN
2009
IEEE
15 years 10 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...
116
click to vote
GLOBECOM
2009
IEEE
15 years 10 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 ...
124
click to vote
SSDBM
2009
IEEE
15 years 10 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; ...