4516 search results - page 294 / 904 » Automated System Design for Availability |
182
click to vote
LOPSTR
2004
Springer
16 years 21 hour ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
186
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
215
click to vote
SPIESR
1997
15 years 8 months ago
1997
The development of increasingly complex multimedia applications calls for new methodologies for the organization and retrieval of still images and video sequences. Query and retri...
147
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
155
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Incorrectly annotated sequence data are becoming more commonplace as databases increasingly rely on automated techniques for annotation. Hence, there is an urgent need...