Sciweavers

4485 search results - page 119 / 897
» Equivalences on Observable Processes
Sort
View
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
14 years 1 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
WSC
2004
13 years 11 months ago
Multi-Period Robust Capacity Planning Based on Product and Process Simulations
This paper presents a method for allocating production capacity among flexible and dedicated machines based on uncertain demand forecasts of products in a production portfolio. Gi...
Emre Kazancioglu, Kazuhiro Saitou
ICMAS
2000
13 years 11 months ago
Reasoning About Others: Representing and Processing Infinite Belief Hierarchies
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
Sviatoslav Brainov, Tuomas Sandholm
CORR
2008
Springer
108views Education» more  CORR 2008»
13 years 10 months ago
Linear Processing and Sum Throughput in the Multiuser MIMO Downlink
We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multipleoutput (MIMO) system, wherein each user may receive more than one data stream. We ...
Adam J. Tenenbaum, Raviraj S. Adve
ATAL
2004
Springer
14 years 3 months ago
Unifying Temporal and Structural Credit Assignment Problems
Single-agent reinforcement learners in time-extended domains and multi-agent systems share a common dilemma known as the credit assignment problem. Multi-agent systems have the st...
Adrian K. Agogino, Kagan Tumer