2520 search results - page 124 / 504 » Model-checking behavioral programs |
106
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
131
click to vote
AAAI
1992
15 years 2 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
118
Voted
VL
2008
IEEE
15 years 7 months ago
2008
IEEE
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
103
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...