1974 search results - page 67 / 395 » A Library System for Small-Scale Library |
121
click to vote
ENTCS
2008
15 years 1 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
116
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper describes a source modeling method for hidden Markov model (HMM) based speech synthesis for improved naturalness. A speech corpus is rst decomposed into the glottal sou...
128
click to vote
ICADL
2003
Springer
15 years 6 months ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
125
click to vote
JCDL
2009
ACM
15 years 8 months ago
2009
ACM
Millions of people in developed countries routinely create and share digital content; but what about the billions of others in on the wrong side of what has been called the ‘glo...
105
click to vote
SIGIR
2006
ACM
15 years 7 months ago
2006
ACM
Information graphics are non-pictorial graphics such as bar charts and line graphs that depict attributes of entities and relations among entities. Most information graphics appea...