
Graphs
 Referenced in 104 articles
[sw12277]
 consider the pointtopoint (approximate) shortestpath query problem, which is the following generalization ... shortestpath or distance queries, which should be answered as fast as possible...

ProPolyne
 Referenced in 1 article
[sw01782]
 result is a dataindependent approximate query answering technique which uses data structures that ... results show that this approach of approximating queries rather than compressing data produces consistent...

BATON
 Referenced in 23 articles
[sw09436]
 that the load at each node is approximately equal. In spite of the tree structure ... guarantee that both exact queries and range queries can be answered...

TrOWL
 Referenced in 6 articles
[sw12480]
 reason over these ontologies and to answer queries over them, but there are no large ... scale infrastructures for storing, reasoning, and querying ontologies on a scale that would be useful ... querying OWL2 ontologies which uses novel techniques such as Quality Guaranteed Approximations and Forgetting...

MiniSat
 Referenced in 528 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

QEPCAD
 Referenced in 275 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1598 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

CPnets
 Referenced in 133 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

PicoDBMS
 Referenced in 11 articles
[sw01550]
 PicoDBMS: Scaling down database techniques for the smartcard...

WordNet
 Referenced in 391 articles
[sw01777]
 WordNet® is a large lexical database of English...

VAMPIRE
 Referenced in 234 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

BRITE
 Referenced in 32 articles
[sw03098]
 BRITE: A Flexible Generator of Internet Topologies. Abstract...

UCIml
 Referenced in 3021 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

TPTP
 Referenced in 374 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Smodels
 Referenced in 238 articles
[sw04631]
 The Smodels system is an Answer Set Programming...

LIBSVM
 Referenced in 1085 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

SCOTT
 Referenced in 26 articles
[sw06717]
 SCOTT: Semantically Constrained Otter. The SCOTT project dates...

Chaff
 Referenced in 564 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

BerkMin
 Referenced in 159 articles
[sw06917]
 BerkMin: A fast and robust SATsolver. We...