320 search results - page 38 / 64 » Rigorous Result for the CHKNS Random Graph Model |
104
click to vote
STTT
2008
14 years 11 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
113
click to vote
STOC
2009
ACM
16 years 12 days ago
2009
ACM
A mechanism for releasing information about a statistical database with sensitive data must resolve a trade-off between utility and privacy. Publishing fully accurate information ...
103
click to vote
COMBINATORICS
2000
14 years 11 months ago
2000
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on ...
174
click to vote
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...
136
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
—In a sensor network, in practice, the communication among sensors is subject to: 1) errors that can cause failures of links among sensors at random times; 2) costs; and 3) const...