1422 search results - page 65 / 285 » Test Generation Algorithms Based on Preorder Relations |
ASE
2010
14 years 10 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...
EVOW
2011
Springer
14 years 1 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 ...
PPSN
2004
Springer
15 years 3 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...
WWW
2008
ACM
15 years 10 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...
IJCAI
2001
14 years 11 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...