1302 search results - page 39 / 261 » Soundness in the Public-Key Model |
109
click to vote
COST
2007
Springer
15 years 8 months ago
2007
Springer
Recent work investigating the interaction of the speech signal with the meaning of the verbal content has revealed interactions not yet modelled in either speech recognition techn...
104
click to vote
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
105
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
119
click to vote
SEMCO
2008
IEEE
15 years 8 months ago
2008
IEEE
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...