Sciweavers

6251 search results - page 835 / 1251
» Randomness, Computability, and Density
Sort
View
ASM
2010
ASM
16 years 24 days ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
Osman Hasan, Sofiène Tahar
EVOW
2010
Springer
16 years 24 days ago
Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
Jaime Serquera, Eduardo R. Miranda
TAMC
2010
Springer
16 years 22 days ago
A Note on the Testability of Ramsey's Class
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
Charles Jordan, Thomas Zeugmann
STOC
2010
ACM
193views Algorithms» more  STOC 2010»
16 years 15 days ago
Maintaining a large matching and a small vertex cover
We consider the problem of maintaining a large matching and a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge in...
Krzysztof Onak, Ronitt Rubinfeld
CDC
2009
IEEE
150views Control Systems» more  CDC 2009»
16 years 12 days ago
Cooperative adaptive sampling via approximate entropy maximization
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
Rishi Graham, Jorge Cortés