Sciweavers

6650 search results - page 75 / 1330
» models 2009
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
LPNMR
2009
Springer
16 years 27 days ago
Layer Supported Models of Logic Programs
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
Luís Moniz Pereira, Alexandre Miguel Pinto
MODELS
2009
Springer
16 years 27 days ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
Pierre-Alain Muller, Frédéric Fondem...
ICASSP
2009
IEEE
16 years 1 months ago
Language model transformation applied to lightly supervised training of acoustic model for congress meetings
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
Tatsuya Kawahara, Masato Mimura, Yuka Akita
EUSFLAT
2009
138views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Choquet Integral Based Evaluations by Fuzzy Rules
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
Eiichiro Takahagi