2954 search results - page 107 / 591 » Beyond |
CG
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. For the first time, automated Hex solvers have surpassed humans in their ability to solve Hex positions: they can now solve many 9
102
click to vote
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
We give the first improvement to the space/approximation trade-off of distance oracles since the seminal result of Thorup and Zwick [STOC'01]. For unweighted graphs, our dista...
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Millions of owl:sameAs statements have been published on the Web of Data. Due to its unique role and heavy usage in Linked Data integration, owl:sameAs has become a topic of increa...