1716 search results - page 277 / 344 » Proving Conditional Termination |
160
click to vote
CIMAGING
2010
15 years 2 months ago
2010
We have studied a camera with a very large number of binary pixels referred to as the gigavision camera [1] or the gigapixel digital film camera [2, 3]. Potential advantages of th...
97
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
The problem of reducing an algebraic Riccati equation XCX − AX − XD + B = 0 to a unilateral quadratic matrix equation (UQME) of the kind PX2 + QX + R = 0 is analyzed. New redu...
109
Voted
NETWORKING
2010
15 years 2 months ago
2010
We address the problem of maximizing the social welfare in a peer-to-peer streaming overlay given a fixed amount of server upload capacity. We show that peers' selfish behavio...
103
Voted
FAST
2007
15 years 2 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...
100
click to vote
NIPS
2008
15 years 2 months ago
2008
Motivated by applications like elections, web-page ranking, revenue maximization etc., we consider the question of inferring popular rankings using constrained data. More specific...