Sciweavers

7335 search results - page 187 / 1467
» Scene Based Reasoning
Sort
View
148
Voted
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
14 years 10 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
125
Voted
ICIAP
2009
ACM
16 years 4 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,...
148
Voted
ECCV
2010
Springer
15 years 8 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
156
Voted
IJCAI
1989
15 years 4 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
116
Voted
ICCV
2009
IEEE
15 years 1 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...