Sciweavers

14809 search results - page 296 / 2962
» Model transformation by demonstration
Sort
View
FMICS
2008
Springer
15 years 8 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
LREC
2010
195views Education» more  LREC 2010»
15 years 8 months ago
Adapting Chinese Word Segmentation for Machine Translation Based on Short Units
In Chinese texts, words composed of single or multiple characters are not separated by spaces, unlike most western languages. Therefore Chinese word segmentation is considered an ...
Yiou Wang, Kiyotaka Uchimoto, Jun'ichi Kazama, Can...
LREC
2010
154views Education» more  LREC 2010»
15 years 8 months ago
Improving Proper Name Recognition by Adding Automatically Learned Pronunciation Variants to the Lexicon
This paper deals with the task of large vocabulary proper name recognition. In order to accomodate a wide diversity of possible name pronunciations (due to non-native name origins...
Bert Réveil, Jean-Pierre Martens, Henk van ...
VMV
2001
144views Visualization» more  VMV 2001»
15 years 8 months ago
Towards Real-Time Visual Simulation of Water Surfaces
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
Jens Schneider, Rüdiger Westermann
IJON
2008
158views more  IJON 2008»
15 years 6 months ago
Blind separation of convolutive image mixtures
Convolutive mixtures of images are common in photography of semi-reflections. They also occur in microscopy and tomography. Their formation process involves focusing on an object ...
Sarit Shwartz, Yoav Y. Schechner, Michael Zibulevs...