80 search results - page 13 / 16 » New-HOPLA: A Higher-order Process Language with Name Generat... |
NLDB
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
JCST
2008
14 years 9 months ago
2008
In Chinese, phrases and named entities play a central role in information retrieval. Abbreviations, however, make keyword-based approaches less effective. This paper presents an em...
UML
2001
Springer
15 years 2 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
81
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
TSD
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we report on the acquisition and content of a new database intended for developing audio-visual speech recognition systems. This database supports a speaker dependen...