543 search results - page 29 / 109 » Methods for Empirical Game-Theoretic Analysis |
FMSD
1998
15 years 1 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
102
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Studies of differential expression that use Affymetrix GeneChip arrays are often carried out with a limited number of replicates. Reasons for this include financial co...
135
click to vote
AUSAI
2008
Springer
15 years 3 months ago
2008
Springer
Hidden Markov Models are a widely used generative model for analysing sequence data. A variant, Profile Hidden Markov Models are a special case used in Bioinformatics to represent,...
101
click to vote
JSS
2002
15 years 1 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
128
click to vote
EMNLP
2008
15 years 2 months ago
2008
Active learning is well-suited to many problems in natural language processing, where unlabeled data may be abundant but annotation is slow and expensive. This paper aims to shed ...