Sciweavers

7335 search results - page 187 / 1467
» Scene Based Reasoning
Sort
View
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
ICIAP
2009
ACM
16 years 7 months ago
Towards a Subject-Centered Analysis for Automated Video Surveillance
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
Michela Farenzena, Loris Bazzani, Vittorio Murino,...
ECCV
2010
Springer
15 years 11 months ago
Blocks World Revisited: Image Understanding using Qualitative Geometry and Mechanics
Since most current scene understanding approaches operate either on the 2D image or using a surface-based representation, they do not allow reasoning about the physical constrain...
Abhinav Gupta, Alexei A. Efros, Martial Hebert
IJCAI
1989
15 years 7 months ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai
ICCV
2009
IEEE
15 years 4 months ago
Looking around the corner using transient imaging
We show that multi-path analysis using images from a timeof-flight (ToF) camera provides a tantalizing opportunity to infer about 3D geometry of not only visible but hidden parts ...
Ahmed Kirmani, Tyler Hutchison, James Davis, Rames...