3888 search results - page 105 / 778 » Change-Driven Model Transformations |
124
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
135
click to vote
ACMMSP
2004
ACM
15 years 9 months ago
2004
ACM
Irregular applications frequently exhibit poor performance on contemporary computer architectures, in large part because of their inefficient use of the memory hierarchy. Runtime ...
162
click to vote
PRIMA
2009
Springer
15 years 11 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
146
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
125
click to vote
CAIP
2009
Springer
15 years 9 months ago
2009
Springer
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...