Sciweavers

3921 search results - page 281 / 785
» Transforming Models with ATL
Sort
View
SPLC
2007
15 years 7 months ago
Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...
Alexandre Bragança, Ricardo Jorge Machado
ICASSP
2010
IEEE
15 years 6 months ago
Joint estimate of shape and time-synchronization of a glottal source model by phase flatness
A new method is proposed to jointly estimate the shape parameter of a glottal model and its time position in a voiced segment. We show that, the idea of phase flatness (or phase ...
Gilles Degottex, Axel Röbel, Xavier Rodet
PAMI
1998
137views more  PAMI 1998»
15 years 6 months ago
Registration and Integration of Multiple Object Views for 3D Model Construction
—Automatic 3D object model construction is important in applications ranging from manufacturing to entertainment, since CAD models of existing objects may be either unavailable o...
Chitra Dorai, Gang Wang, Anil K. Jain, Carolyn R. ...
COLING
2008
15 years 5 months ago
A Probabilistic Model for Measuring Grammaticality and Similarity of Automatically Generated Paraphrases of Predicate Phrases
The most critical issue in generating and recognizing paraphrases is development of wide-coverage paraphrase knowledge. Previous work on paraphrase acquisition has collected lexic...
Atsushi Fujita, Satoshi Sato
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 4 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis