7335 search results - page 153 / 1467 » Scene Based Reasoning |
113
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
130
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We analyze the modulation of a light field via nonrefracting attenuators. In the most general case, any desired modulation can be achieved with attenuators having four degrees of ...
122
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, we propose a new object-based video coding/transmission system using the emerging Motion JPEG 2000 standard [1] for the efficient storage and delivery of video surve...
143
click to vote
ICCV
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper describes a new method for estimating the illumination distribution of a real scene from a radiance distribution inside shadows cast by an object in the scene. First, t...
114
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
When we want information on current events, we often view news programs on TV or news streams on Web sites. A news video stream consists of several scenes, and viewers often gain ...