1522 search results - page 187 / 305 » Practical Exception Specifications |
97
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
94
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...
99
Voted
DCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Asymptotically optimal bit allocation among a set of quantizers for a finite collection of sources was determined in 1963 by Huang and Schultheiss. Their solution, however, gives ...
102
click to vote
CVPR
2009
IEEE
15 years 11 months ago
2009
IEEE
The aim of this paper is to address the problem of recognizing human group activities in surveillance videos. This task has great potentials in practice, however was rarely studie...
130
Voted
CVPR
2009
IEEE
15 years 11 months ago
2009
IEEE
Detection and tracking of moving vehicles in airborne videos is a challenging problem. Many approaches have been proposed to improve motion segmentation on frameby-frame and pixel...