1501 search results - page 186 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
132
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
176
Voted
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
162
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
139
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We integrate automatic speech recognition (ASR) and question answering (QA) to realize a speech-driven QA system, and evaluate its performance. We adapt an Ngram language model to...
128
click to vote
IWSSD
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...