2935 search results - page 369 / 587 » An Integrated Approach to High Integrity Software Verificati... |
295
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Extracting and integrating object information from the Web is of great significance for Web data management. The existing Web information extraction techniques cannot provide sati...
157
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Image segmentation of natural scenes constitutes a major problem in Machine Vision. This paper presents a new proposal for the image segmentation problem which has been based on t...
148
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
149
click to vote
DILS
2007
Springer
16 years 19 days ago
2007
Springer
This paper focuses on the problem of bioinformatics service reconciliation in a generic and scalable manner so as to enhance interoperability in a highly evolving field. Using XML...
159
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
In order to enable efficient integration of FPGAs into cost effective and reliable high-performance systems as well potentially into low power mobile systems, their power efficienc...