Sciweavers

2152 search results - page 97 / 431
» A Comparative Study of 2QBF Algorithms
Sort
View
JMLR
2010
136views more  JMLR 2010»
14 years 10 months ago
Evaluation Method for Feature Rankings and their Aggregations for Biomarker Discovery
In this paper we investigate the problem of evaluating ranked lists of biomarkers, which are typically an output of the analysis of high-throughput data. This can be a list of pro...
Ivica Slavkov, Bernard Zenko, Saso Dzeroski
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 8 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
AIPS
1994
15 years 5 months ago
Design Tradeoffs in Partial Order (Plan space) Planning
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
Subbarao Kambhampati
GLOBECOM
2010
IEEE
15 years 1 months ago
Dynamic Channel Selection in Cognitive Radio Network with Channel Heterogeneity
We consider the channel selection problem in a cognitive radio network with heterogenous channel availabilities at different nodes. We formulate the maximum channel selection (MCS)...
Fen Hou, Jianwei Huang
JMLR
2010
367views more  JMLR 2010»
14 years 10 months ago
Locally Linear Denoising on Image Manifolds
We study the problem of image denoising where images are assumed to be samples from low dimensional (sub)manifolds. We propose the algorithm of locally linear denoising. The algor...
Dian Gong, Fei Sha, Gérard G. Medioni