Sciweavers

865 search results - page 40 / 173
» Uncertainty Reduction Using Dynamics
Sort
View
AAAI
2007
13 years 10 months ago
Search Space Reduction and Russian Doll Search
In a constraint optimization problem (COP), many feasible valuations lead to the same objective value. This often means a huge search space and poor performance in the propagation...
Kenil C. K. Cheng, Roland H. C. Yap
PIMRC
2010
IEEE
13 years 6 months ago
A multi-threshold scheme for feedback load reduction in multiuser MIMO broadcast channel
In a multiuser system, independent time-varying channels among different users can be exploited to provide multiuser diversity (MUD) gain and increase the system throughput. For th...
Jin-Hao Li, Hsuan-Jung Su, Yu-Lun Tsai
IJCAI
2007
13 years 10 months ago
Memory-Bounded Dynamic Programming for DEC-POMDPs
Decentralized decision making under uncertainty has been shown to be intractable when each agent has different partial information about the domain. Thus, improving the applicabil...
Sven Seuken, Shlomo Zilberstein
COMPUTING
2006
130views more  COMPUTING 2006»
13 years 8 months ago
Dynamic Data Driven Simulations in Stochastic Environments
To improve the predictions in dynamic data driven simulations (DDDAS) for subsurface problems, we propose the permeability update based on observed measurements. Based on measurem...
Craig C. Douglas, Yalchin Efendiev, Richard E. Ewi...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
14 years 3 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...