2374 search results - page 178 / 475 » Automatic Generation of Model Translations |
175
click to vote
MLMI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the de...
169
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Self-assessment is a crucial component of learning. Creating effective questions is time-consuming, however, because it may require considerable resources and the skill of critica...
202
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
143
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
209
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper investigates the impact of automatic sentence segmentation on speech summarization using the ICSI meeting corpus. We use a hidden Markov model (HMM) for sentence segmen...