2996 search results - page 304 / 600 » Numberings and Randomness |
349
click to vote
LPAR
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
181
click to vote
WIA
2007
Springer
16 years 1 months ago
2007
Springer
We study the pattern statistics representing the number of occurrences of a given string in a word of length n generated at random by rational stochastic models, defined by means ...
157
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this work, we study the topology enhancement problem of wireless sensor networks. Our research focuses on reducing the path-based vulnerability. The objective is to get as m...
171
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
We explore the idea of evidence accumulation for combining the results of multiple clusterings. Initially, n d-dimensional data is decomposed into a large number of compact cluste...
154
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a peer-to-peer multimedia streaming solution based on the BitTorrent content-distribution protocol. Our proposal includes two modifications that allow it to deliver mul...