Sciweavers

517 search results - page 7 / 104
» On the Intended Interpretations of Actions
Sort
View
90
Voted
HOA
1993
15 years 2 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
106
Voted
CVPR
2007
IEEE
16 years 8 days 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
94
Voted
MMMACNS
2001
Springer
15 years 2 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
118
Voted
WEBNET
2000
14 years 11 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...
69
Voted
AAAI
2006
14 years 11 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