Sciweavers

3238 search results - page 281 / 648
» Multi-return function call
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
15 years 2 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
JMLR
2006
153views more  JMLR 2006»
15 years 2 months ago
Collaborative Multiagent Reinforcement Learning by Payoff Propagation
In this article we describe a set of scalable techniques for learning the behavior of a group of agents in a collaborative multiagent setting. As a basis we use the framework of c...
Jelle R. Kok, Nikos A. Vlassis
139
Voted
IEICET
2007
110views more  IEICET 2007»
15 years 2 months ago
A Higher-Order Knuth-Bendix Procedure and Its Applications
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
Keiichirou Kusakari, Yuki Chiba

Publication
341views
17 years 1 months ago
Incentive Compatible Mechanisms for Decentralized Supply Chain Formation
In this thesis, we describe a decentralized supply chain formation problem where the supply chain planner or a central design authority (CDA) is faced with the decision of choosi...
Nikesh Kumar Srivastava
CVPR
2009
IEEE
1356views Computer Vision» more  CVPR 2009»
16 years 9 months ago
Average of Synthetic Exact Filters
This paper introduces a class of correlation filters called Average of Synthetic Exact Filters (ASEF). For ASEF, the correlation output is completely specified for each training ...
Bruce A. Draper, David S. Bolme, J. Ross Beveridge