Sciweavers

1565 search results - page 33 / 313
» An unlikely result
Sort
View
AAAI
2008
15 years 2 months ago
Studies in Solution Sampling
We introduce novel algorithms for generating random solutions from a uniform distribution over the solutions of a boolean satisfiability problem. Our algorithms operate in two pha...
Vibhav Gogate, Rina Dechter
VSTTE
2010
Springer
14 years 10 months ago
To Goto Where No Statement Has Gone Before
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
Michael Barnett, K. Rustan M. Leino
ISCAS
2002
IEEE
121views Hardware» more  ISCAS 2002»
15 years 4 months ago
Analog filter adaptation using a dithered linear search algorithm
A variation of the differential steepest descent algorithm, here called the dithered linear search (DLS), is examined and applied to analog filter adaptation. The DLS algorithm is...
Anthony Chan Carusone, David A. Johns
AIIA
2001
Springer
15 years 3 months ago
A New Machine Learning Approach to Fingerprint Classification
We present new fingerprint classification algorithms based on two machine learning approaches: support vector machines (SVMs), and recursive neural networks (RNNs). RNNs are traine...
Yuan Yao, Gian Luca Marcialis, Massimiliano Pontil...
AUTOMATICA
2004
112views more  AUTOMATICA 2004»
14 years 11 months ago
Fundamental properties of reset control systems
: Reset controllers are linear controllers that reset some of their states to zero when their input is zero. We are interested in their feedback connection with linear plants, and ...
Orhan Beker, C. V. Hollot, Yossi Chait, Huaizhong ...