12084 search results - page 418 / 2417 » Effect Systems with Subtyping |
207
click to vote
IV
2005
IEEE
16 years 1 months ago
2005
IEEE
An approach of employing Information Visualisation to develop systems that facilitate instructors in web-based distance learning is presented here. The paper describes a tool, cal...
219
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Collaborative learning is question-driven and open-ended by nature. Many of the techniques developed for intelligent tutoring are applicable only in more structured settings, but f...
213
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
206
click to vote
EVOW
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
193
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...