4966 search results - page 95 / 994 » its 2010 |
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
141
click to vote
ACL
2010
15 years 4 months ago
2010
The research focus of computational coreference resolution has exhibited a shift from heuristic approaches to machine learning approaches in the past decade. This paper surveys th...
149
click to vote
ACL
2010
15 years 4 months ago
2010
In this paper, we present a novel approach for authorship attribution, the task of identifying the author of a document, using probabilistic context-free grammars. Our approach in...
157
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
154
click to vote
TCC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a general parallel-repetition theorem with an efficient reduction. As a corollary of this theorem we establish that parallel repetition reduces the soundness e...