4488 search results - page 327 / 898 » Properties of NP-Complete Sets |
165
click to vote
DISOPT
2008
15 years 7 months ago
2008
A pseudolattice L is a poset with lattice-type binary operations. Assuming that the pseudolattice permits a modular representation as a family of subsets of a set U with certain c...
177
click to vote
ENDM
2010
15 years 7 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
174
click to vote
CSDA
2006
15 years 6 months ago
2006
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...
161
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Multidimensional scaling is a technique for exploratory analysis of multidimensional data widely usable in different applications. By means of this technique the image points in a ...
152
click to vote
CN
2007
15 years 6 months ago
2007
The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic, the response of the...