Sciweavers

4555 search results - page 285 / 911
» Deductive Algorithmic Knowledge
Sort
View
143
Voted
IDA
2006
Springer
15 years 3 months ago
Backward chaining rule induction
Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We describe Backward-Chaining Rule Induction (BCR...
Douglas H. Fisher, Mary E. Edgerton, Zhihua Chen, ...
128
Voted
BMCBI
2005
89views more  BMCBI 2005»
15 years 3 months ago
MILANO - custom annotation of microarray results using automatic literature searches
Background: High-throughput genomic research tools are becoming standard in the biologist's toolbox. After processing the genomic data with one of the many available statisti...
Ran Rubinstein, Itamar Simon
ATAL
2011
Springer
14 years 3 months ago
Incentive design for adaptive agents
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
Yiling Chen, Jerry Kung, David C. Parkes, Ariel D....
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
15 years 10 months ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...
122
Voted
ICASSP
2008
IEEE
15 years 9 months ago
Universal switching portfolios under transaction costs
In this paper, we consider online (sequential) portfolio selection in a competitive algorithm framework under transaction costs. We construct a sequential algorithm for portfolio ...
Suleyman Serdar Kozat, Andrew C. Singer