Sciweavers

1201 search results - page 179 / 241
» Exact Analysis of Exact Change
Sort
View
APLAS
2004
ACM
14 years 4 months ago
A Functional Language for Logarithmic Space
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
Peter Møller Neergaard
CLEF
2004
Springer
14 years 4 months ago
Overview of the CLEF 2004 Multilingual Question Answering Track
Following the pilot Question Answering Track at CLEF 2003, a new evaluation exercise for multilingual QA systems took place in 2004. This paper reports on the novelties introduced...
Bernardo Magnini, Alessandro Vallin, Christelle Ay...
COLT
2004
Springer
14 years 4 months ago
Concentration Bounds for Unigrams Language Model
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...
Evgeny Drukh, Yishay Mansour
SWAT
2004
Springer
98views Algorithms» more  SWAT 2004»
14 years 4 months ago
Tight Approximability Results for Test Set Problems in Bioinformatics
In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
Piotr Berman, Bhaskar DasGupta, Ming-Yang Kao
ISSRE
2003
IEEE
14 years 3 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...