Sciweavers

1912 search results - page 93 / 383
» On the evaluation of argumentation formalisms
Sort
View
PEPM
1993
ACM
15 years 10 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
NIPS
2008
15 years 7 months ago
On Bootstrapping the ROC Curve
This paper is devoted to thoroughly investigating how to bootstrap the ROC curve, a widely used visual tool for evaluating the accuracy of test/scoring statistics in the bipartite...
Patrice Bertail, Stéphan Clémen&cced...
SE
2008
15 years 7 months ago
Relating Product Line Context to Requirements Engineering Processes Using Design Rationale
: The design of engineering processes is dependent on the context they are designed for. This paper presents the results of an action research study that used design rationale to d...
Samuel Fricker, Reinhard Stoiber
COLING
2000
15 years 7 months ago
Using a Probabilistic Class-Based Lexicon for Lexical Ambiguity Resolution
This paper presents the use of probabilistic class-based lexica for disambiguation in targetword selection. Our method employs minimal but precise contextual information for disam...
Detlef Prescher, Stefan Riezler, Mats Rooth
FOGA
1990
15 years 7 months ago
A Hierarchical Approach to Learning the Boolean Multiplexer Function
This paper describes the recently developed genetic programming paradigm which genetically breeds populations of computer programs to solve problems. In genetic programming, the i...
John R. Koza