3322 search results - page 220 / 665 » Automatic Human Model Generation |
128
click to vote
MLMI
2007
Springer
15 years 9 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...
124
click to vote
ICALT
2008
IEEE
15 years 9 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...
148
click to vote
SPIN
2012
Springer
13 years 5 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 ...
HICSS
2009
IEEE
15 years 10 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...
114
click to vote
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...