Sciweavers

686 search results - page 100 / 138
» Minimax Probability Machine
Sort
View
ICMLA
2009
15 years 6 days ago
A Syllable-Level Probabilistic Framework for Bird Species Identification
In this paper, we present new probabilistic models for identifying bird species from audio recordings. We introduce the independent syllable model and consider two ways of aggregat...
Balaji Lakshminarayanan, Raviv Raich, Xiaoli Fern
COMBINATORICA
2010
14 years 12 months ago
Online vertex-coloring games in random graphs
Consider the following one-player game. The vertices of a random graph on n vertices are revealed to the player one by one. In each step, also all edges connecting the newly reveal...
Martin Marciniszyn, Reto Spöhel
169
Voted
IFIP
2010
Springer
14 years 9 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
EUROCRYPT
1995
Springer
15 years 6 months ago
Quantum Oblivious Mutual Identification
We coiisider a situation where two parties, Alice and Bob, share a common secret string arid would like to mutually check their knowledge of that string. We describe a simple and e...
Claude Crépeau, Louis Salvail
120
Voted
COLING
1992
15 years 3 months ago
The Kant System: Fast, Accurate, High-Quality Translation In Practical Domains
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
Eric Nyberg, Teruko Mitamura