4201 search results - page 641 / 841 » Interaction graphs: Additives |
228
click to vote
LICS
2007
IEEE
16 years 1 months 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...
215
click to vote
PG
2007
IEEE
16 years 1 months 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...
131
click to vote
ROMAN
2007
IEEE
16 years 1 months 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...
185
click to vote
SIPS
2007
IEEE
16 years 1 months 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...
205
click to vote
AIED
2007
Springer
16 years 1 months 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...