1422 search results - page 65 / 285 » Test Generation Algorithms Based on Preorder Relations |
117
click to vote
ASE
2010
15 years 3 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
136
click to vote
EVOW
2011
Springer
14 years 6 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
143
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
In spite of the recent quick growth of the Evolutionary Multi-objective Optimization (EMO) research field, there has been few trials to adapt the general variation operators to t...
141
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...
139
click to vote
IJCAI
2001
15 years 4 months ago
2001
Neural network ensemble is a learning paradigm where several neural networks are jointly used to solve a problem. In this paper, the relationship between the generalization abilit...