Sciweavers

890 search results - page 128 / 178
» An Experimental Comparison of Stereo Algorithms
Sort
View
DATE
2004
IEEE
120views Hardware» more  DATE 2004»
15 years 10 months ago
Pattern Selection for Testing of Deep Sub-Micron Timing Defects
Due to process variations in deep sub-micron (DSM) technologies, the effects of timing defects are difficult to capture. This paper presents a novel coverage metric for estimating...
Mango Chia-Tso Chao, Li-C. Wang, Kwang-Ting Cheng
CAV
2006
Springer
121views Hardware» more  CAV 2006»
15 years 10 months ago
Deriving Small Unsatisfiable Cores with Dominators
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
Roman Gershman, Maya Koifman, Ofer Strichman
GECCO
2006
Springer
172views Optimization» more  GECCO 2006»
15 years 9 months ago
Evolving boolean networks to find intervention points in dengue pathogenesis
We use probabilistic boolean networks to simulate the pathogenesis of Dengue Hemorraghic Fever (DHF). Based on Chaturvedi's work, the strength of cytokine influences are mode...
Philip Tan, Joc Cing Tay
ATAL
2006
Springer
15 years 8 months ago
Evaluating bidding strategies for simultaneous auctions
Bidding for multiple items or bundles on online auctions raises challenging problems. We assume that an agent has a valuation function that returns its valuation for an arbitrary ...
Teddy Candale, Sandip Sen
SDM
2010
SIAM
195views Data Mining» more  SDM 2010»
15 years 7 months ago
Adaptive Informative Sampling for Active Learning
Many approaches to active learning involve periodically training one classifier and choosing data points with the lowest confidence. An alternative approach is to periodically cho...
Zhenyu Lu, Xindong Wu, Josh Bongard