Sciweavers

4617 search results - page 313 / 924
» Automation of Diagrammatic Reasoning
Sort
View
CSL
2007
Springer
15 years 6 months ago
Articulatory feature recognition using dynamic Bayesian networks
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
Joe Frankel, Mirjam Wester, Simon King
CSL
2004
Springer
15 years 6 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
CSL
2004
Springer
15 years 6 months ago
Mandarin-English Information (MEI): investigating translingual speech retrieval
This paper describes the Mandarin
Helen M. Meng, Berlin Chen, Sanjeev Khudanpur, Gin...
CL
2000
Springer
15 years 6 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
CL
2002
Springer
15 years 6 months ago
Security boundaries in mobile ambients
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi