1671 search results - page 256 / 335 » On the Covering Steiner Problem |
150
click to vote
GLOBECOM
2009
IEEE
16 years 18 days 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 ...
152
click to vote
SSDBM
2009
IEEE
16 years 18 days 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; ...
159
click to vote
IPPS
2009
IEEE
16 years 15 days 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...
157
click to vote
FSTTCS
2009
Springer
16 years 13 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
142
click to vote
LPNMR
2009
Springer
16 years 12 days ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...