849 search results - page 36 / 170 » A survey of state vectors |
148
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
188
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
158
click to vote
CORR
2011
Springer
15 years 18 days ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
170
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
We investigate how positive, neutral and negative feedback responses from an Intelligent Tutoring System (ITS) influences learners‟ affect and physiology. AutoTutor, an ITS with ...
170
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— This paper quantifies the information rate of multiple-input multiple-output (MIMO) systems with finite rate channel state feedback and power on/off strategy. In power on/off...