2935 search results - page 557 / 587 » An Integrated Approach to High Integrity Software Verificati... |
126
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Region based features are getting popular due to their higher descriptive power relative to other features. However, real world images exhibit changes in image segments capturing ...
227
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
161
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
147
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
127
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Background: Correlations between polymorphic markers and observed phenotypes provide the basis for mapping traits in quantitative genetics. When the phenotype is gene expression, ...