236 search results - page 20 / 48 » Strong normalization results by translation |
IMAGING
2004
14 years 9 days ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...
ISVC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Visual sensitivity is constantly adjusting to the current visual context through processes of adaptation. These adaptive changes strongly affect all perceptual judgments ...
WOLLIC
2010
Springer
14 years 4 months ago
2010
Springer
Recently, an axiomatization for functional dependencies (FDs) and multivalued dependencies (MVDs) has been established where arbitrary attributes can be specified as NOT NULL. Tha...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
IJCAI
1993
14 years 7 days ago
1993
While decision trees have been used primarily for classification, they can also model regression or function approximation. Like classification trees, regression trees often yield...