Sciweavers

4485 search results - page 119 / 897
» Equivalences on Observable Processes
Sort
View
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
15 years 7 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
15 years 4 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
15 years 4 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»
15 years 3 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
15 years 8 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