1358 search results - page 10 / 272 » Proceedings |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper introduces the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition is to evaluate and compare automatic techniques for deriving structu...
TPHOL
2006
IEEE
14 years 1 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
CONCUR
2004
Springer
14 years 22 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
DPPI
2003
ACM
14 years 18 days ago
2003
ACM
When new technology is adopted to everyday life, existing patterns of behavior relevant to the application are transferred to this new media. In this process, some things will als...