6650 search results - page 157 / 1330 » models 2009 |
177
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
166
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
168
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
149
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce a new histogram equalizationbased environmental model adaptation method for robust speech recognition in noise environments. The proposed method adapts...
162
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....