Sciweavers

2184 search results - page 189 / 437
» Modeling and Realizing Interoperability
Sort
View
JSW
2008
130views more  JSW 2008»
13 years 8 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
CORR
2004
Springer
126views Education» more  CORR 2004»
13 years 8 months ago
Effects of Language Modeling on Speech-driven Question Answering
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...
Tomoyosi Akiba, Atsushi Fujii, Katunobu Itou
IEEECIT
2010
IEEE
13 years 6 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
BMVC
2010
13 years 6 months ago
Joint Modeling of Algorithm Behavior and Image Quality for Algorithm Performance Prediction
In this paper, we propose a framework for predicting the performance of a vision algorithm given the input image or video so as to maximize the algorithm's ability to provide...
Apurva Gala, Shishir Shah
EJWCN
2010
122views more  EJWCN 2010»
13 years 3 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...