2607 search results - page 300 / 522 » Complete Functional Synthesis |
212
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
191
click to vote
STACS
2012
Springer
13 years 12 months ago
2012
Springer
We consider the classical rumor spreading problem, where a piece of information must be disseminated from a single node to all n nodes of a given network. We devise two simple pus...
159
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
148
click to vote
ISAAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
188
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...