Sciweavers

517 search results - page 7 / 104
» On the Intended Interpretations of Actions
Sort
View
HOA
1993
13 years 11 months ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
CVPR
2007
IEEE
14 years 9 months ago
Objects in Action: An Approach for Combining Action Understanding and Object Perception
Analysis of videos of human-object interactions involves understanding human movements, locating and recognizing objects and observing the effects of human movements on those obje...
Abhinav Gupta, Larry S. Davis
MMMACNS
2001
Springer
13 years 11 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
WEBNET
2000
13 years 8 months ago
Making General-Purpose Adaptive Hypermedia Work
: Adaptive hypermedia systems (AHS) have typically been geared towards one specific application or application area, in most cases related to education. The AHA (Adaptive Hypermedi...
Paul De Bra, A. T. M. Aerts, Geert-Jan Houben, Hon...
AAAI
2006
13 years 8 months ago
Walk the Talk: Connecting Language, Knowledge, and Action in Route Instructions
Following verbal route instructions requires knowledge of language, space, action and perception. We present MARCO, an agent that follows free-form, natural language route instruc...
Matt MacMahon, Brian Stankiewicz, Benjamin Kuipers