7393 search results - page 133 / 1479 » Synthesis-for-testability using transformations |
138
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
117
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
115
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
129
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compi...
129
click to vote
EMNLP
2008
15 years 4 months ago
2008
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...