Sciweavers

3951 search results - page 494 / 791
» Automatic amortized analysis
Sort
View
DIMVA
2006
15 years 8 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...
142
Voted
EACL
2006
ACL Anthology
15 years 8 months ago
Unsupervised Discovery of Persian Morphemes
This paper reports the present results of a research on unsupervised Persian morpheme discovery. In this paper we present a method for discovering the morphemes of Persian languag...
Mohsen Arabsorkhi, Mehrnoush Shamsfard
ECIR
2006
Springer
15 years 8 months ago
Using Query Profiles for Clarification
Abstract. The following paper proposes a new kind of relevance feedback. It shows how so called query profiles can be employed for disambiguation and clarification. Query profiles ...
Henning Rode, Djoerd Hiemstra
ACL
2003
15 years 8 months ago
Exploiting Parallel Texts for Word Sense Disambiguation: An Empirical Study
A central problem of word sense disambiguation (WSD) is the lack of manually sense-tagged data required for supervised learning. In this paper, we evaluate an approach to automati...
Hwee Tou Ng, Bin Wang, Yee Seng Chan
ACL
2001
15 years 8 months ago
Predicting User Reactions to System Error
This paper focuses on the analysis and prediction of so-called aware sites, defined as turns where a user of a spoken dialogue system first becomes aware that the system has made ...
Diane J. Litman, Julia Hirschberg, Marc Swerts