656 search results - page 42 / 132 » Large-Graph Layout Algorithms at Work: An Experimental Study |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
In the context of information retrieval, traditional collection selection algorithms have been widely studied. These algorithms utilize language models, a representation of the co...
111
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
62
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Rock art is an archaeological term for human-made markings on stone. It is believed that there are millions of petroglyphs in North America alone, and the study of this valued cul...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
We study the problem of SPARQL query optimization on top of distributed hash tables. Existing works on SPARQL query processing in such environments have never been implemented in a...
VLDB
2010
ACM
14 years 8 months ago
2010
ACM
The frequent items problem is to process a stream of items and find all items occurring more than a given fraction of the time. It is one of the most heavily studied problems in d...