Sciweavers

1329 search results - page 127 / 266
» Models and solution techniques for frequency assignment prob...
Sort
View
STOC
2012
ACM
272views Algorithms» more  STOC 2012»
13 years 5 months ago
The cell probe complexity of dynamic range counting
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...
Kasper Green Larsen
137
Voted
ATAL
2010
Springer
15 years 4 months ago
Point-based policy generation for decentralized POMDPs
Memory-bounded techniques have shown great promise in solving complex multi-agent planning problems modeled as DEC-POMDPs. Much of the performance gains can be attributed to pruni...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
181
Voted
IJCAI
1989
15 years 4 months ago
Constraint Satisfaction with Delayed Evaluation
This paper describes the design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avo...
Monte Zweben, Megan Eskey
98
Voted
DAC
2000
ACM
16 years 4 months ago
The use of carry-save representation in joint module selection and retiming
Joint module selection and retiming is a powerful technique to optimize the implementation cost and the speed of a circuit specified using a synchronous data-flow graph (DFG). In ...
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
130
Voted
CVDB
2004
ACM
15 years 9 months ago
Event-Based Modeling and Processing of Digital Media
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
Rahul Singh, Zhao Li, Pilho Kim, Derik Pack, Rames...