1536 search results - page 94 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SIGDOC
2009
ACM
15 years 4 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
CAISE
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
The recent Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent...
ECIS
2001
14 years 11 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
108
click to vote
DSOM
1999
Springer
15 years 2 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...