Sciweavers

9166 search results - page 1431 / 1834
» A framework for comparing models of computation
Sort
View
UAIS
2010
15 years 1 months ago
Auditory universal accessibility of data tables using naturally derived prosody specification
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
Dimitris Spiliotopoulos, Gerasimos Xydas, Georgios...
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 10 months ago
Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...
Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. ...
ICIP
2005
IEEE
16 years 8 months ago
Image denoising in nonlinear scale-spaces: automatic scale selection via cross-validation
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
George Papandreou, Petros Maragos
DAC
2002
ACM
16 years 7 months ago
Energy estimation and optimization of embedded VLIW processors based on instruction clustering
Aim of this paper is to propose a methodology for the definition of an instruction-level energy estimation framework for VLIW (Very Long Instruction Word) processors. The power mo...
Andrea Bona, Mariagiovanna Sami, Donatella Sciuto,...
POPL
2003
ACM
16 years 7 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
« Prev « First page 1431 / 1834 Last » Next »