Sciweavers

6368 search results - page 1036 / 1274
» Modeling Problem Transformations based on Data Complexity
Sort
View
PIMRC
2010
IEEE
15 years 4 months ago
Low-complexity admission control for distributed power-controlled networks with stochastic channels
This study addresses the general problem of efficient resource management in wireless networks with arbitrary timevarying topologies. Communication channels are assumed to generall...
Stepán Kucera, Bing Zhang
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Programs with Lists Are Counter Automata
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Ra...
172
Voted
CSDA
2008
122views more  CSDA 2008»
15 years 6 months ago
Time-adaptive quantile regression
An algorithm for time-adaptive quantile regression is presented. The algorithm is based on the simplex algorithm, and the linear optimization formulation of the quantile regressio...
Jan Kloppenborg Møller, Henrik Aalborg Niel...
ICASSP
2011
IEEE
14 years 10 months ago
Heterogeneous multiprocessor mapping for real-time streaming systems
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
Jing Lin, Akshaya Srivatsa, Andreas Gerstlauer, Br...
ICPR
2002
IEEE
16 years 7 months ago
Narrative Structure Analysis with Education and Training Videos for E-Learning
This paper deals with the problem of structuralizing education and training videos for high-level semantics extraction and nonlinear media presentation in e-learning applications....
Quoc Dinh Phung, Chitra Dorai, Svetha Venkatesh
« Prev « First page 1036 / 1274 Last » Next »