5165 search results - page 505 / 1033 » Consistency of the Neighbor-Net Algorithm |
192
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
217
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
227
Voted
ICDCS
2006
IEEE
2006
IEEE
Scalable and Robust Aggregation Techniques for Extracting Statistical Information in Sensor Networks
16 years 1 months ago
Wireless sensor networks have stringent constraints on system resources and data aggregation techniques are critically important. However, accurate data aggregation is difficult ...
202
Voted
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a speaker identification algorithm for a microphone array based on a first-order joint Hidden Markov Model (HMM) where the observations correspond to t...
189
Voted
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...