Sciweavers

1888 search results - page 279 / 378
» Proof theory and computational analysis
Sort
View
104
Voted
MM
2003
ACM
124views Multimedia» more  MM 2003»
15 years 7 months ago
Using structure patterns of temporal and spectral feature in audio similarity measure
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
Rui Cai, Lie Lu, HongJiang Zhang
COMPGEOM
2009
ACM
15 years 6 months ago
k-means requires exponentially many iterations even in the plane
The k-means algorithm is a well-known method for partitioning n points that lie in the d-dimensional space into k clusters. Its main features are simplicity and speed in practice....
Andrea Vattani
DIALM
2008
ACM
168views Algorithms» more  DIALM 2008»
15 years 3 months ago
Local broadcasting in the physical interference model
In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node ...
Olga Goussevskaia, Thomas Moscibroda, Roger Watten...
CORR
2007
Springer
176views Education» more  CORR 2007»
15 years 1 months ago
Crystallization in large wireless networks
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...
Veniamin I. Morgenshtern, Helmut Bölcskei
JLP
2007
95views more  JLP 2007»
15 years 1 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...