3208 search results - page 220 / 642 » Methods and views |
127
click to vote
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
The problem of adjusting the color such that the output image from a digital camera, viewed under a standard condition, matches the scene observed by the photographer’s eye is c...
115
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
184
click to vote
ICCVW
1999
Springer
15 years 8 months ago
1999
Springer
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...
205
click to vote
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
143
click to vote
ISKI
1992
15 years 8 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...