4201 search results - page 641 / 841 » Interaction graphs: Additives |
204
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
199
click to vote
PG
2007
IEEE
16 years 26 days ago
2007
IEEE
Vector Field Based Shape Deformations (VFSD) have been introduced as an efficient method to deform shapes in a volume-preserving foldover-free manner. However, mainly simple impl...
124
click to vote
ROMAN
2007
IEEE
16 years 26 days ago
2007
IEEE
— The uncanny valley theory proposed by Mori in 1970 has been a hot topic in human robot interaction research, in particular since the development of increasingly human-like andr...
171
click to vote
SIPS
2007
IEEE
16 years 26 days ago
2007
IEEE
In this contribution iteratively detected spatial division multiplexing is investigated under the constraint of a fixed data throughput. Existing bit loading and transmit power a...
181
click to vote
AIED
2007
Springer
16 years 23 days ago
2007
Springer
We investigated the potential of automatic detection of a learner’s affective states from posture patterns and dialogue features obtained from an interaction with AutoTutor, an i...