Sciweavers

CSL
2004
Springer
13 years 11 months ago
Factor analysed hidden Markov models for speech recognition
Recently various techniques to improve the correlation model of feature vector elements in speech recognition systems have been proposed. Such techniques include semi-tied covaria...
Antti-Veikko I. Rosti, M. J. F. Gales
CSL
2004
Springer
13 years 11 months ago
Word sense disambiguation of WordNet glosses
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
Dan I. Moldovan, Adrian Novischi
CSL
2004
Springer
13 years 11 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
CL
2004
Springer
13 years 11 months ago
A browser for incremental programming
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
Nathanael Schärli, Andrew P. Black
CL
2004
Springer
13 years 11 months ago
Induced intentional software views
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
Tom Tourwé, Johan Brichau, Andy Kellens, Kr...
CL
2004
Springer
13 years 11 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
CL
2004
Springer
13 years 11 months ago
Safe metaclass composition using mixin-based inheritance
In the context of meta-programming and reflective languages, classes are treated as full fledged objects which are instances of other classes named metaclasses. Metaclasses have p...
Noury Bouraqadi
CL
2004
Springer
13 years 11 months ago
Verifying persistent security properties
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...