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 ...
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...
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...
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...
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