17329 search results - page 2851 / 3466 » Improved non-approximability results |
179
click to vote
CONEXT
2008
ACM
15 years 9 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
211
Voted
CP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
194
Voted
CPAIOR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
200
Voted
ESEM
2007
ACM
15 years 9 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
252
click to vote
CVPR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a novel integrated background model for video surveillance. Our model uses a primal sketch representation for image appearance and 3D scene geometry to capture...