378 search results - page 48 / 76 » Automating Coinduction with Case Analysis |
BMCBI
2008
13 years 11 months ago
2008
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...
ICST
2009
IEEE
13 years 8 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
DAC
2004
ACM
14 years 12 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
AND
2009
13 years 8 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
ICIAP
1999
ACM
14 years 3 months ago
1999
ACM
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...