Sciweavers

3273 search results - page 498 / 655
» types 2007
Sort
View
PSIVT
2007
Springer
170views Multimedia» more  PSIVT 2007»
16 years 18 days ago
Markov Random Fields and Spatial Information to Improve Automatic Image Annotation
Content-based image retrieval (CBIR) is currently limited because of the lack of representational power of the low-level image features, which fail to properly represent the actual...
Carlos Hernández-Gracidas, Luis Enrique Suc...
QOSA
2007
Springer
16 years 18 days ago
Architectural Knowledge: Getting to the Core
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
Remco C. de Boer, Rik Farenhorst, Patricia Lago, H...
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 18 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 18 days ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
SCOPES
2007
Springer
16 years 18 days ago
Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
David Atienza, Christos Baloukas, Lazaros Papadopo...