3820 search results - page 494 / 764 » Bounded Model Debugging |
144
click to vote
DCOSS
2005
Springer
16 years 5 days ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
157
click to vote
ESA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We study three comparison-based problems related to multisets in the cache-oblivious model: Duplicate elimination, multisorting and finding the most frequent element (th...
146
Voted
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
194
Voted
IDEAL
2005
Springer
16 years 4 days ago
2005
Springer
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
174
click to vote
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...