1492 search results - page 89 / 299 » Testing Properties of Constraint-Graphs |
221
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We propose an unsupervised inference procedure for audio source separation. Components in nonnegative matrix factorization (NMF) are grouped automatically in audio sources via a p...
239
click to vote
SIAMCOMP
2011
14 years 10 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
279
click to vote
APPROX
2011
Springer
14 years 7 months ago
2011
Springer
In this work we consider the problem of approximating the number of relevant variables in a function given query access to the function. Since obtaining a multiplicative factor ap...
172
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
- Ad hoc, actuator and sensor wireless networks normally have critical connectivity properties before becoming fault intolerant. Existing algorithms for testing k-connectivity are ...
193
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...