5510 search results - page 203 / 1102 » Mathematics |
151
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
115
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
172
click to vote
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
125
click to vote
GIAE
2004
Springer
15 years 9 months ago
2004
Springer
Camera pose estimation is the problem of determining the position and orientation of an internally calibrated camera from known 3D reference points and their images. We introduce a...
136
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...