4650 search results - page 614 / 930 » Generating and evaluating evaluative arguments |
137
click to vote
CICLING
2009
Springer
16 years 6 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...
170
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifi...
195
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
201
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
160
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
The Architectural Vulnerability Factor (AVF) of a hardware structure is the probability that a fault in the structure will affect the output of a program. AVF captures both microa...