1604 search results - page 50 / 321 » Development Separation in Lambda-Calculus |
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
A least-squares method simultaneously solves for the model-to-sensor-suite pose and sensor-to-sensor registration. The development is for a sensor-suite containing separate range ...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
Abstract— It is important to separate random jitter from deterministic jitter to quantify their contributions to the total jitter. This paper identifies the limitations of the e...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper we show that efficient object recognition can be obtained by combining informative features with linear classification. The results demonstrate the superiority of in...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We present a method for exploratory data analysis of large spatiotemporal data sets such as global longtime climate measurements, extending our previous work on semibli...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...