12052 search results - page 501 / 2411 » computing 2010 |
177
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
188
click to vote
ACL
2010
15 years 5 months ago
2010
Discourse references, notably coreference and bridging, play an important role in many text understanding applications, but their impact on textual entailment is yet to be systema...
186
click to vote
COLING
2010
15 years 1 months ago
2010
This demonstration presents a highperformance syntactic and semantic dependency parser. The system consists of a pipeline of modules that carry out the tokenization, lemmatization...
137
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents wait-free randomized algorithms for solving set-agreement in asynchronous shared-memory systems under a strong adversary. First, the definition of a shared-co...
226
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...