1596 search results - page 166 / 320 » Human-Guided Simple Search |
151
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
215
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...
156
click to vote
ECCC
2010
15 years 2 months ago
2010
We consider the reachability problem for a certain class of directed acyclic graphs embedded on surfaces. Let G(m, g) be the class of directed acyclic graphs with m = m(n) source ...
162
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Social networks play important roles in the Semantic Web: knowledge management, information retrieval, ubiquitous computing, and so on. We propose a social network extraction syst...
130
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...