2935 search results - page 380 / 587 » An Integrated Approach to High Integrity Software Verificati... |
197
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
For compression of 3-D dynamic meshes, the novel framework of so-called frame-based animated mesh compression (FAMC) has been introduced recently. In this context, we propose an e...
177
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Due to high levels of integration and complexity, the design of multi-core SoCs has become increasingly challenging. In particular, energy consumption and distributing a single gl...
170
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
167
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
166
click to vote
MCS
2009
Springer
16 years 1 months ago
2009
Springer
The availability of an ever increasing amount of data sources due to recent advances in high throughput biotechnologies opens unprecedented opportunities for genome-wide gene funct...