Sciweavers

1989 search results - page 125 / 398
» Set functions for functional logic programming
Sort
View
IJCAI
2003
14 years 11 months ago
Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. ...
CADE
2010
Springer
14 years 11 months ago
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Brigitte Pientka, Joshua Dunfield
MP
2011
14 years 20 days ago
An interior-point piecewise linear penalty method for nonlinear programming
We present an interior-point penalty method for nonlinear programming (NLP), where the merit function consists of a piecewise linear penalty function (PLPF) and an 2-penalty functi...
Lifeng Chen, Donald Goldfarb
JMLR
2012
13 years 8 days ago
Minimax-Optimal Rates For Sparse Additive Models Over Kernel Classes Via Convex Programming
Sparse additive models are families of d-variate functions with the additive decomposition f∗ = ∑j∈S f∗ j , where S is an unknown subset of cardinality s d. In this paper,...
Garvesh Raskutti, Martin J. Wainwright, Bin Yu
FUZZY
2001
Springer
112views Fuzzy Logic» more  FUZZY 2001»
15 years 2 months ago
A Neuron-MOS Threshold Element with Switching Capacitors
In the paper a new approach to building a MOS threshold element and an arti cial neuron on its base is discussed. The implementability of the known MOS threshold elements is restri...
Victor Varshavsky, Vyacheslav Marakhovsky