Sciweavers

11051 search results - page 392 / 2211
» An Investigation of Generalized Cases
Sort
View
CVPR
2004
IEEE
16 years 9 months ago
Radiometric Calibration of a Helmholtz Stereo Rig
Helmholtz stereopsis guarantees unbiasedness by BRDF of the search for inter-image correspondences. In a practical setup, calibrated pixel sensitivity and corrected light anisotro...
Zsolt Jankó, Ondrej Drbohlav, Radim S&aacut...
CADE
2008
Springer
16 years 8 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
SAS
2000
Springer
124views Formal Methods» more  SAS 2000»
15 years 11 months ago
Code Specialization Based on Value Profiles
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
Robert Muth, Scott A. Watterson, Saumya K. Debray
CCIA
2009
Springer
15 years 8 months ago
Secure and Optimal Base Contraction in Graded Lukasiewicz Logics
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
Pere Pardo, Pilar Dellunde, Lluis Godo
ACS
2007
15 years 7 months ago
Axioms for Sequential Convergence
: It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes consi...
Gonçalo Gutierres, Dirk Hofmann