3844 search results - page 406 / 769 » Modular interpreted systems |
145
click to vote
AIED
2009
Springer
16 years 23 days ago
2009
Springer
In this paper we report our work on introducing adaptations of the learner model’s presentation in adaptive educational systems, in order to bring a healthy balance between the u...
161
click to vote
AUSAI
2009
Springer
16 years 23 days ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
176
click to vote
ATVA
2009
Springer
16 years 23 days ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
167
click to vote
ESWS
2009
Springer
16 years 23 days ago
2009
Springer
Semanta is a system supporting Semantic Email, implemented as an add-in to two popular Mail User Agents, using existing email transport technology and integrated with the Social Se...
137
click to vote
ISMAR
2008
IEEE
16 years 17 days ago
2008
IEEE
Because the resolution of see-through displays is lower than the resolution of the human eye, perception of AR schemes is complicated in large distances. To discover, how design i...