230 search results - page 6 / 46 » Type Derivation Using the Projection Operation |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
With the rapid progress of mobile devices and positioning technologies, Trajectory Databases (TD) have been in the core of database research during the last decade. Analysis and k...
FPCA
1991
13 years 11 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
USENIX
2000
13 years 9 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we propose a numerical method for approximating the product of a matrix function with multiple vectors by Krylov subspace methods combined with a QR decomposition of...