2996 search results - page 304 / 600 » Numberings and Randomness |
333
click to vote
LPAR
2012
Springer
14 years 2 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...
167
click to vote
WIA
2007
Springer
16 years 25 days 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 ...
138
click to vote
GLOBECOM
2006
IEEE
16 years 24 days 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...
159
click to vote
ICPR
2002
IEEE
16 years 7 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...
134
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...