Sciweavers

22193 search results - page 375 / 4439
» Multiple Restricted Multiplication
Sort
View
SCALESPACE
2009
Springer
16 years 1 months ago
Generic Scene Recovery Using Multiple Images
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
Kuk-Jin Yoon, Emmanuel Prados, Peter F. Sturm
TLCA
2009
Springer
16 years 1 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger
KCAP
2009
ACM
16 years 1 months ago
Knowledge integration across multiple texts
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...
Doo Soon Kim, Ken Barker, Bruce W. Porter
ASAP
2008
IEEE
145views Hardware» more  ASAP 2008»
16 years 1 months ago
An MPSoC architecture for the Multiple Target Tracking application in driver assistant system
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...
Jehangir Khan, Smaïl Niar, Atika Rivenq, Yass...
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
16 years 1 months ago
Particle filtering using multiple cross-correlations for tracking occluded objects in cluttered scenes
— This paper is concerned with the tracking of partially or entirely occluded objects in a video sequence. We propose certain modifications to the template matching approach, whi...
Arie Nakhmani, Allen Tannenbaum