5269 search results - page 807 / 1054 » order 2007 |
170
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
170
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
175
Voted
SCALESPACE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. There is an increasing demand to develop image processing tools for the filtering and analysis of matrix-valued data, so-called matrix fields. In the case of scalar-val...
158
click to vote
SCIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper describes a method of stereoscopic view generation by image-based rendering in wide outdoor environments. The stereoscopic view can be generated from an omnidi...
178
Voted
SCIA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In medical imaging, signals acquired in non-Cartesian coordinate systems are common. For instance, CT and MRI often produce significantly higher resolution within scan p...