Sciweavers

3885 search results - page 271 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
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
ICMCS
2009
IEEE
115views Multimedia» more  ICMCS 2009»
15 years 4 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 1 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