Sciweavers

10493 search results - page 329 / 2099
» Dynamic Word Problems
Sort
View
CP
2004
Springer
15 years 10 months ago
Full Dynamic Substitutability by SAT Encoding
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
Steven David Prestwich
DALT
2006
Springer
15 years 10 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
EWC
2008
117views more  EWC 2008»
15 years 6 months ago
Performance of parallel computations with dynamic processor allocation
In parallel adaptive mesh refinement (AMR) computations the problem size can vary significantly during a simulation. The goal here is to explore the performance implications of dyn...
Saeed Iqbal, Graham F. Carey
COMPUTING
2006
130views more  COMPUTING 2006»
15 years 6 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...
INFOCOM
2012
IEEE
13 years 9 months ago
Dynamic index coding for wireless broadcast networks
Abstract— We consider a wireless broadcast station that transmits packets to multiple users. The packet requests for each user may overlap, and some users may already have certai...
Michael J. Neely, Arash Saber Tehrani, Zhen Zhang