4025 search results - page 427 / 805 » The Human Action Image |
163
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
187
click to vote
HAPTICS
2003
IEEE
16 years 3 days ago
2003
IEEE
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
168
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
The successful integration and acceptance of many multi-agent systems into daily lives crucially depends on the ability to develop effective policies for adjustable autonomy. Adju...
158
click to vote
HUC
2003
Springer
16 years 1 days ago
2003
Springer
Location is a primary cue in many context-aware computing systems, and is often represented as a global coordinate, room number, or a set of Euclidean distances to various landmark...
153
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...