526 search results - page 89 / 106 » Towards the Verifying Compiler |
MM
2010
ACM
13 years 9 months ago
2010
ACM
Searching for small objects (e.g., logos) in images is a critical yet challenging problem. It becomes more difficult when target objects differ significantly from the query object...
IJSNET
2008
13 years 9 months ago
2008
Abstract: We present PERT, a power-efficient scheme to deliver real-time data packets in sensor networks. Time-sensitive sensor data is common in applications such as hazard monito...
LOGCOM
2008
13 years 9 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
TCAD
2008
13 years 9 months ago
2008
As CMOS technology is scaled down toward the nanoscale regime, drastically growing leakage currents and variations in device characteristics are becoming two important design chall...
JCM
2007
13 years 9 months ago
2007
— This paper presents practical design of a smart antenna system based on direction-of-arrival estimation and adaptive beamforming. Direction-of-arrival (DOA) estimation is based...