5851 search results - page 426 / 1171 » Coordination as a Direct Process |
152
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Monaural speech segregation in reverberant environments is a very difficult problem. We develop a supervised learning approach by proposing an objective function that directly rel...
160
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
In ensemble (or bulk) quantum computation, all computations are performed on an ensemble of computers rather than on a single computer. Measurements of qubits in an individual com...
157
Voted
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
200
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
187
Voted
AIIA
2005
Springer
15 years 8 months ago
2005
Springer
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...