6366 search results - page 1206 / 1274 » Statistical Performance Modeling and Optimization |
ECCV
2010
Springer
14 years 26 days ago
2010
Springer
Abstract. Visual dictionary learning and base (binary) classifier training are two basic problems for the recently most popular image categorization framework, which is based on t...
FMCAD
2007
Springer
14 years 24 days ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
GLVLSI
2007
IEEE
14 years 24 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
EUROPAR
2009
Springer
14 years 24 days ago
2009
Springer
The Cell Broadband Engine (Cell BE) is a heterogeneous multi-core processor specifically designed to exploit thread-level parallelism. Its memory model comprehends a common shared ...
ICCCN
2007
IEEE
14 years 24 days ago
2007
IEEE
Wireless sensor networks (WSNs) introduce new challenges to topology control due to the prevalence of lossy links. We propose a new topology control formulation for lossy WSNs that...