2016 search results - page 67 / 404 » Megamaps: Construction and Examples |
106
Voted
CAIP
1997
Springer
15 years 8 months ago
1997
Springer
A method for calibration of the optic center and the focal length of a pin-hole camera is suggested, where the camera parameters are constructed geometrically in the image plane. B...
133
click to vote
ELP
1993
15 years 8 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...
138
click to vote
FM
1994
Springer
15 years 8 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
122
click to vote
IMPERIAL
1994
15 years 8 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
158
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...