Sciweavers

6434 search results - page 373 / 1287
» Model Transformations with Reference Models
Sort
View
COLING
2008
15 years 6 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 5 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
172
Voted
ICMCS
2009
IEEE
115views Multimedia» more  ICMCS 2009»
15 years 5 months ago
Prosody modeling for mandarin exclamatory speech
To improve the expressiveness of speech synthesis, the paper proposes a model to simulate the prosody features of exclamatory speech with modal tags. While compared with reading s...
Huibin Jia, Jianhua Tao
APSCC
2009
IEEE
16 years 2 months ago
Translating Semantic Web Service based business process models
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
Liliana Cabral, John Domingue
CBMS
2008
IEEE
16 years 1 months ago
Easing the Formalization of Clinical Guidelines with a User-tailored, Extensible Agile Model Driven Development (AMDD)
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
Patrick Martini, Katharina Kaiser, Silvia Miksch