7167 search results - page 133 / 1434 » A Technique for Invariant Generation |
180
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
149
click to vote
CAEPIA
2005
Springer
15 years 12 months ago
2005
Springer
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...
140
click to vote
NN
2004
Springer
15 years 11 months ago
2004
Springer
A sound source separation technique based on a bio-inspired neural network, capable of functioning in more than two-source mixtures, is proposed. Separation results are compared wi...
158
click to vote
CCE
2004
15 years 6 months ago
2004
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
232
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Table partitioning splits a table into smaller parts that can be accessed, stored, and maintained independent of one another. From their traditional use in improving query perform...