Sciweavers

1552 search results - page 103 / 311
» On the Complexity of Constant Propagation
Sort
View
AGENTS
2000
Springer
15 years 10 months ago
Learning to Trust
Abstract. Evolutionary game-theory is a powerful tool to investigate the development of complex relations between individuals such as the emergence of cooperation and trust. But th...
Andreas Birk 0002
EURODAC
1995
IEEE
162views VHDL» more  EURODAC 1995»
15 years 10 months ago
ODE: output direct state machine encoding
A somewhat novel approach is presented for determining FSM state codes. Instead of producing an assignment designed to minimise the overall logic of the machine, all Moore outputs...
J. Forrest
JMLR
2010
147views more  JMLR 2010»
15 years 1 months ago
Gaussian Processes for Machine Learning (GPML) Toolbox
The GPML toolbox provides a wide range of functionality for Gaussian process (GP) inference and prediction. GPs are specified by mean and covariance functions; we offer a library ...
Carl Edward Rasmussen, Hannes Nickisch
FROCOS
2011
Springer
14 years 6 months ago
Sharing Is Caring: Combination of Theories
One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing the arrangement of the variables shared by the individual theories. Thi...
Dejan Jovanovic, Clark Barrett
FOCS
2008
IEEE
16 years 26 days ago
Hardness of Minimizing and Learning DNF Expressions
We study the problem of finding the minimum size DNF formula for a function f : {0, 1}d → {0, 1} given its truth table. We show that unless NP ⊆ DTIME(npoly(log n) ), there i...
Subhash Khot, Rishi Saket