Sciweavers

2163 search results - page 112 / 433
» cases 2004
Sort
View
FQAS
2004
Springer
86views Database» more  FQAS 2004»
15 years 3 months ago
Retrieval Effectiveness of Written and Spoken Queries: An Experimental Evaluation
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...
Heather Du, Fabio Crestani
GECCO
2004
Springer
15 years 3 months ago
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution
The use of Genetic Algorithms in evolution of mutants and test cases offers new possibilities in addressing some of the main problems of mutation testing. Most specifically the p...
Konstantinos Adamopoulos, Mark Harman, Robert M. H...
GECCO
2004
Springer
108views Optimization» more  GECCO 2004»
15 years 3 months ago
The Incremental Pareto-Coevolution Archive
Coevolution can in principle provide progress for problems where no accurate evaluation function is available. An important open question however is how coevolution can be set up s...
Edwin D. de Jong
IEAAIE
2004
Springer
15 years 3 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...
IFIP
2004
Springer
15 years 3 months ago
Dynamic Typing with Dependent Types
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Wa...