3575 search results - page 681 / 715 » Presentations of computably enumerable reals |
STOC
2010
ACM
15 years 9 months ago
2010
ACM
We initiate a direction for proving lower bounds on the size of non-commutative arithmetic circuits. This direction is based on a connection between lower bounds on the size of no...
133
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Image registration is an essential step in many image processing applications that need visual information from multiple images for comparison, integration or analysis. Recently r...
VIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Myocardial perfusion imaging with single photon emission computed tomography (SPECT) is an established method for the detection and evaluation of coronary artery disease (CAD). Sta...
177
click to vote
GIS
2006
ACM
16 years 26 days ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
DAC
2007
ACM
16 years 25 days ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...