12052 search results - page 499 / 2411 » computing 2010 |
171
click to vote
CSR
2010
Springer
15 years 11 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena...
182
click to vote
FOCS
2010
IEEE
15 years 4 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...
178
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper presents an empirical comparison of similarity measures for pairs of concepts based on Information Content. It shows that using modest amounts of untagged text to deriv...
191
click to vote
TCS
2010
15 years 5 months ago
2010
We give an O(n2 m + nm2 + m2 log m) time and O(n2 + m2 ) space algorithm for finding the shortest traveling salesman tour through the vertices of two simple polygonal obstacles i...
191
click to vote
CG
2010
Springer
15 years 5 months ago
2010
Springer
Simulation balancing is a new technique to tune parameters of a playout policy for a Monte-Carlo game-playing program. So far, this algorithm had only been tested in a very artific...