13841 search results - page 2639 / 2769 » Algorithms and Constraint Programming |
128
click to vote
TSP
2010
14 years 9 months ago
2010
Abstract--A cooperative approach to the sensing task of wireless cognitive radio (CR) networks is introduced based on a basis expansion model of the power spectral density (PSD) ma...
175
click to vote
TVLSI
2010
14 years 9 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
131
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
196
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...