3690 search results - page 516 / 738 » Computation with classical sequents |
207
click to vote
ACL
2012
13 years 8 months ago
2012
The named entity disambiguation task is to resolve the many-to-many correspondence between ambiguous names and the unique realworld entity. This task can be modeled as a classifi...
148
Voted
ACL
2012
13 years 8 months ago
2012
As the number of learners of English is constantly growing, automatic error correction of ESL learners’ writing is an increasingly active area of research. However, most researc...
151
click to vote
ACL
2012
13 years 8 months ago
2012
We address the problem of learning the mapping between words and their possible pronunciations in terms of sub-word units. Most previous approaches have involved generative modeli...
174
click to vote
CONCUR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
168
click to vote
CHES
2009
Springer
16 years 6 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...