6014 search results - page 1022 / 1203 » Structural Testing with Use Cases |
135
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
Data reduction makes datasets smaller but preserves classication structures of interest. It is an important area of research in data mining and databases. In this paper we present...
135
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
127
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Gaussian graphical models are widely used to tackle the important and challenging problem of inferring genetic regulatory networks from expression data. These models have...
136
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: In a previous paper, we introduced MUSCLE, a new program for creating multiple alignments of protein sequences, giving a brief summary of the algorithm and showing MUS...
153
click to vote
CC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...