Sciweavers

6650 search results - page 405 / 1330
» models 2009
Sort
View
RELMICS
2009
Springer
15 years 11 months ago
Foundations of Concurrent Kleene Algebra
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 11 months ago
A QSS approach for particle source identification in Tore Supra tokamak
In this work, we consider the problem of particle source identification from distributed electron density measurements in fusion plasmas, such as the ones obtained in Tore Supra t...
Emmanuel Witrant, Marc Goniche, E. Tore Supra
ACL
2009
15 years 4 months ago
Dependency Based Chinese Sentence Realization
This paper describes log-linear models for a general-purpose sentence realizer based on dependency structures. Unlike traditional realizers using grammar rules, our method realize...
Wei He, Haifeng Wang, Yuqing Guo, Ting Liu
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 4 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
ICDAR
2009
IEEE
15 years 4 months ago
Handling Out-of-Vocabulary Words and Recognition Errors Based on Word Linguistic Context for Handwritten Sentence Recognition
In this paper we investigate the use of linguistic information given by language models to deal with word recognition errors on handwritten sentences. We focus especially on error...
Solen Quiniou, Mohamed Cheriet, Éric Anquet...