Sciweavers

1343 search results - page 66 / 269
» Learning Weighted Automata
Sort
View
JAIR
2008
120views more  JAIR 2008»
15 years 2 months ago
MiniMaxSAT: An Efficient Weighted Max-SAT solver
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
Federico Heras, Javier Larrosa, Albert Oliveras
TSMC
2002
136views more  TSMC 2002»
15 years 2 months ago
Expertness based cooperative Q-learning
By using other agents' experiences and knowledge, a learning agent may learn faster, make fewer mistakes, and create some rules for unseen situations. These benefits would be ...
Majid Nili Ahmadabadi, Masoud Asadpour
115
Voted
IJCNN
2006
IEEE
15 years 8 months ago
Backpropagation for Population-Temporal Coded Spiking Neural Networks
Abstract— Supervised learning rules for spiking neural networks are currently only able to use time-to-first-spike coding and are plagued by very irregular learning curves due t...
Benjamin Schrauwen, Jan M. Van Campenhout
EUROCOLT
1999
Springer
15 years 6 months ago
Averaging Expert Predictions
We consider algorithms for combining advice from a set of experts. In each trial, the algorithm receives the predictions of the experts and produces its own prediction. A loss func...
Jyrki Kivinen, Manfred K. Warmuth
ICS
2010
Tsinghua U.
15 years 6 months ago
Weight Distribution and List-Decoding Size of Reed-Muller Codes
: We study the weight distribution and list-decoding size of Reed-Muller codes. Given a weight parameter, we are interested in bounding the number of Reed-Muller codewords with a w...
Tali Kaufman, Shachar Lovett, Ely Porat