1999 search results - page 272 / 400 » Dependently Typed Grammars |
178
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we present a composite hypothesis testing approach for cooperative spectrum sensing. We derive the optimal likelihood ratio test (LRT) statistic based on the Neym...
144
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we study the degree to which a genomic string, Q, leaks details about itself any time it engages in comparison protocols with a genomic querier, Bob, even if those ...
134
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— To perform successful manipulation, robots depend on information about objects in their environment. In unstructured environments, such information cannot be given to t...
162
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
142
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...