11030 search results - page 101 / 2206 » Generative Sound Models |
153
Voted
EWCBR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we introduce a new instance-based approach to the label ranking problem. This approach is based on a probability model on rankings which is known as the Mallows mode...
105
click to vote
APAL
2010
15 years 2 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
119
click to vote
BIOSYSTEMS
2007
15 years 2 months ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...
113
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
115
Voted
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...