Sciweavers

4100 search results - page 161 / 820
» General Linear Cameras
Sort
View
MSCS
2007
117views more  MSCS 2007»
15 years 4 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani
CLEF
2010
Springer
15 years 5 months ago
Combination of Classifiers for Indoor Room Recognition CGS participation at ImageCLEF2010 Robot Vision Task
This paper represents a description of our approach to the problem of topological localization of a mobile robot using visual information. Our method has been developed for ImageCL...
Walter Lucetti, Emanuel Luchetti
TIP
2010
153views more  TIP 2010»
15 years 2 months ago
A Versatile Model for Packet Loss Visibility and its Application to Packet Prioritization
In this paper, we propose a generalized linear model for video packet loss visibility that is applicable to different group-of-picture structures. We develop the model using three...
Ting-Lan Lin, Sandeep Kanumuri, Yuan Zhi, David Po...
PRL
2006
127views more  PRL 2006»
15 years 4 months ago
Ho-Kashyap classifier with early stopping for regularization
This paper focuses on linear classification using a fast and simple algorithm known as the Ho
Fabien Lauer, Gérard Bloch
DAGSTUHL
2007
15 years 6 months ago
Diagonal Circuit Identity Testing and Lower Bounds
In this paper we give the first deterministic polynomial time algorithm for testing whether a diagonal depth-3 circuit C(x1, . . . , xn) (i.e. C is a sum of powers of linear funct...
Nitin Saxena