Sciweavers

1982 search results - page 259 / 397
» Parametricity and dependent types
Sort
View
JSAC
2011
136views more  JSAC 2011»
14 years 9 months ago
Spectrum Trading in Cognitive Radio Networks: A Contract-Theoretic Modeling Approach
—Cognitive radio is a promising paradigm to achieve efficient utilization of spectrum resource by allowing the unlicensed users (i.e., secondary users, SUs) to access the licens...
Lin Gao, Xinbing Wang, Youyun Xu, Qian Zhang
CVPR
2009
IEEE
17 years 1 months ago
What's It Going to Cost You?: Predicting Effort vs. Informativeness for Multi-Label Image Annotations
Active learning strategies can be useful when manual labeling effort is scarce, as they select the most informative examples to be annotated first. However, for visual category ...
Sudheendra Vijayanarasimhan (University of Texas a...
CVPR
2006
IEEE
16 years 8 months ago
Meta-Evaluation of Image Segmentation Using Machine Learning
Image segmentation is a fundamental step in many computer vision applications. Generally, the choice of a segmentation algorithm, or parameterization of a given algorithm, is sele...
Hui Zhang, Sharath R. Cholleti, Sally A. Goldman, ...
ICCV
2007
IEEE
16 years 8 months ago
Embedded Profile Hidden Markov Models for Shape Analysis
An ideal shape model should be both invariant to global transformations and robust to local distortions. In this paper we present a new shape modeling framework that achieves both...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
ICCV
1998
IEEE
16 years 8 months ago
Wide Baseline Stereo Matching
`Invariant regions' are image patches that automatically deform with changing viewpoint as to keep on covering identical physical parts of a scene. Such regions are then desc...
Philip Pritchett, Andrew Zisserman