422 search results - page 60 / 85 » Reconstructing Algebraic Functions from Mixed Data |
ENTCS
2008
13 years 10 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
BIBE
2001
IEEE
14 years 1 months ago
2001
IEEE
Different modalities in biomedical imaging, like CT, MRI and PET scanners, provide detailed crosssectional views of the human anatomy. The imagery obtained from these scanning dev...
ICDE
2006
IEEE
14 years 4 months ago
2006
IEEE
It has been well recognized that data mining is an interactive and iterative process. In order to support this process, one of the long-term goals of data mining research has been...
ECCV
2004
Springer
14 years 12 months ago
2004
Springer
Abstract. Volumetric structures are frequently used as shape descriptors for 3D data. The capture of such data is being facilitated by developments in multi-view video and range sc...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
In radar, when the wavelength of the transmitted electromagnetic wave is considerably larger than the dimension of the antenna, the received signal is modeled as the integral of t...