Sciweavers

2631 search results - page 147 / 527
» Less is More
Sort
View
AAAI
2008
14 years 22 days ago
Interaction Structure and Dimensionality Reduction in Decentralized MDPs
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
Martin Allen, Marek Petrik, Shlomo Zilberstein
WSC
2008
14 years 22 days ago
Restricted subset selection
This paper develops procedures for selecting a set of normal populations with unknown means and unknown variances in order that the final subset of selected populations satisfies ...
E. Jack Chen
ASM
2008
ASM
14 years 12 days ago
The Composition of Event-B Models
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
Michael Poppleton
CASES
2005
ACM
14 years 11 days ago
Compilation techniques for energy reduction in horizontally partitioned cache architectures
Horizontally partitioned data caches are a popular architectural feature in which the processor maintains two or more data caches at the same level of hierarchy. Horizontally part...
Aviral Shrivastava, Ilya Issenin, Nikil Dutt
ACSW
2007
13 years 12 months ago
A Range Test Secure in the Active Adversary Model
In ACISP 2006, Peng et al proposed a novel range test technique, which tests whether the integer encrypted in a ciphertext is in an interval range. Their solution is more efficien...
Kun Peng, Ed Dawson