4460 search results - page 571 / 892 » Formal methods for interactive systems |
155
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Homeless women need special care and attention especially during pregnancy or while trying to overcome substance abuse. We present a solution to help counselors working with these...
204
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a HMM based system for real-time gesture analysis. The system outputs continuously parameters relative to the gesture time progression and its likelihood. Thes...
160
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
174
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
155
Voted
ITS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...