Sciweavers

3387 search results - page 451 / 678
» Automating the Metamodeling Process
Sort
View
ICPR
2008
IEEE
16 years 29 days ago
Ancient document analysis based on text line extraction
In order to preserve our cultural heritage and for automated document processing libraries and national archives have started digitizing historical documents. In the case of degra...
Florian Kleber, Robert Sablatnig, Melanie Gau, Hei...
KBSE
2008
IEEE
16 years 28 days ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
SIPS
2008
IEEE
16 years 27 days ago
Bio-inspired unified model of visual segmentation system for CAPTCHA character recognition
In this paper, we present a bio-inspired unified model to improve the recognition accuracy of character recognition problems for CAPTCHA (Completely Automated Public Turing Test t...
Chi-Wei Lin, Yu-Han Chen, Liang-Gee Chen
SOSE
2008
IEEE
16 years 27 days ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
3DIM
2007
IEEE
16 years 26 days ago
Predetermination of ICP Registration Errors And Its Application to View Planning
We present an analytical method to estimate the absolute registration error bounds if two surfaces were to be aligned using the ICP (Iterative Closest Point) algorithm. The estima...
Kok-Lim Low, Anselmo Lastra