Sciweavers

5624 search results - page 282 / 1125
» On Conditional Covering Problem
Sort
View
3DPVT
2006
IEEE
144views Visualization» more  3DPVT 2006»
16 years 22 days ago
Recovering Illumination and Texture Using Ratio Images
In this paper we consider the problem of factoring illumination and texture from a pair of images of a diffuse object of known geometry. This problem arises frequently in 3D photo...
Alejandro Troccoli, Peter K. Allen
PODC
2010
ACM
15 years 8 months ago
Brief announcement: capacity of byzantine agreement with finite link capacity - complete characterization of four-node networks
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
Guanfeng Liang, Nitin Vaidya
AUTOMATICA
2008
60views more  AUTOMATICA 2008»
15 years 6 months ago
Control of nonstationary LPV systems
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
Mazen Farhood, Geir E. Dullerud
145
Voted
CORR
2006
Springer
107views Education» more  CORR 2006»
15 years 6 months ago
On Sequence Prediction for Arbitrary Measures
Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that ...
Daniil Ryabko, Marcus Hutter
FAC
2010
106views more  FAC 2010»
15 years 4 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...