2374 search results - page 178 / 475 » Automatic Generation of Model Translations |
195
click to vote
MLMI
2007
Springer
16 years 1 months 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...
182
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...
219
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 ...
164
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...
233
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...