1538 search results - page 232 / 308 » Spectral Techniques in Graph Algorithms |
WALCOM
2010
IEEE
15 years 8 months ago
2010
IEEE
We address a version of the set-cover problem where we do not know the sets initially (and hence referred to as covert) but we can query an element to find out which sets contain ...
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
111
click to vote
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
128
click to vote
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
110
click to vote
STOC
2009
ACM
16 years 2 months ago
2009
ACM
d Abstract] Virginia Vassilevska School of Mathematics Institute for Advanced Study Princeton, NJ 08540 USA virgi@math.ias.edu Ryan Williams School of Mathematics Institute for Adv...