14704 search results - page 2753 / 2941 » computing 2007 |
140
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
173
Voted
CVPR
2007
IEEE
15 years 3 months ago
2007
IEEE
Considerable research work has been done in the area of surveillance and biometrics, where the goals have always been high performance, robustness in security and cost optimizatio...
114
Voted
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
Registering consecutive images from an airborne sensor into a mosaic is an essential tool for image analysts. Strictly local methods tend to accumulate errors, resulting in distor...
128
Voted
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we resolve the smoothed and approximative complexity of low-rank quasi-concave minimization, providing both upper and lower bounds. As an upper bound, we provide th...
149
Voted
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...