1752 search results - page 124 / 351 » Application Specific Processing: A Tools Approach |
209
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
149
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Most approaches to learn classifiers for structured objects (e.g., images) use generative models in a classical Bayesian framework. However, state-of-the-art classifiers for vecto...
127
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
187
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
125
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Over 60% of protein-coding genes in vertebrates express mRNAs that undergo alternative splicing. The resulting collection of transcript isoforms poses significant chal...