6833 search results - page 1143 / 1367 » Some two-character sets |
166
click to vote
CLEAR
2007
Springer
16 years 24 days ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
158
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes the WebCLEF 2007 task. The task definition—which goes beyond traditional navigational queries and is concerned with undirected information search goals—c...
150
click to vote
COCOON
2007
Springer
16 years 24 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
211
click to vote
CPAIOR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
182
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...