Sciweavers

57 search results - page 1 / 12
» A Framework for Reasoning About the Human in the Loop
Sort
View
58
Voted
NSDI
2008
14 years 11 months ago
A Framework for Reasoning About the Human in the Loop
Lorrie Faith Cranor
86
Voted
FLAIRS
2004
14 years 11 months ago
Reasoning about Beliefs, Observability, and Information Exchange in Teamwork
Communication is an important aspect of teamwork, both in human teams and in multi-agent teams. One of the most vital roles for communication is for information exchange, such as ...
Thomas R. Ioerger
ICCBR
1997
Springer
15 years 1 months ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
CVPR
2007
IEEE
15 years 11 months ago
Bilattice-based Logical Reasoning for Human Detection
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, La...
ICFP
2005
ACM
15 years 9 months ago
The anatomy of a loop: a story of scope and control
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
Olin Shivers