2586 search results - page 327 / 518 » Automatic Abstraction for Congruences |
150
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
A large and growing number of web pages display contextual advertising based on keywords automatically extracted from the text of the page, and this is a substantial source of rev...
142
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
167
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Automatic plagiarism detection considering a reference corpus compares a suspicious text to a set of original documents in order to relate the plagiarised fragments to th...
175
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
190
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...