230 search results - page 13 / 46 » Type Derivation Using the Projection Operation |
FOCS
1998
IEEE
14 years 4 days ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
ISCIS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. To convert an interlaced video into a progressive one effectively, de-interlacing techniques have been developed. However, existing de-interlacing techniques can not per...
TMI
1998
13 years 7 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...
DAC
1998
ACM
14 years 3 days ago
1998
ACM
Carry-save-adder CSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The majority of financial services companies in Germany and Switzerland have, with varying objectives and success, conducted customer relationship management (CRM) implementation ...