Sciweavers

108 search results - page 14 / 22
» Disambiguating Visual Relations Using Loop Constraints
Sort
View
AAAI
2008
13 years 9 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
CVPR
2010
IEEE
14 years 5 months ago
Reading Between The Lines: Object Localization Using Implicit Cues from Image Tags
Current uses of tagged images typically exploit only the most explicit information: the link between the nouns named and the objects present somewhere in the image. We propose to ...
Sung Ju Hwang, University of Texas, Kristen Grauma...
IJCV
2000
176views more  IJCV 2000»
13 years 8 months ago
Control of a Camera for Active Vision: Foveal Vision, Smooth Tracking and Saccade
Several characteristics of the human oculomotor system have been suggested to be useful also for active vision mechanisms. Among others, foveal vision and a tracking scheme based o...
Ehud Rivlin, Héctor Rotstein
CVPR
2001
IEEE
14 years 10 months ago
A Spherical Eye from Multiple Cameras (Makes Better Models of the World)
This paper describes an imagingsystem that has been designed specifically for the purpose of recovering egomotion and structure from video. The system consists of six cameras in a...
Patrick Baker, Cornelia Fermüller, Yiannis Al...
ASAP
2010
IEEE
148views Hardware» more  ASAP 2010»
13 years 10 months ago
Function flattening for lease-based, information-leak-free systems
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T...