7393 search results - page 139 / 1479 » Synthesis-for-testability using transformations |
118
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
121
click to vote
COLT
1992
Springer
15 years 7 months ago
1992
Springer
This paper deals with a class of Prolog programs, called context-free term transformations (CFT). We present a polynomial time algorithm to identify a subclass of CFT, whose progr...
158
click to vote
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
133
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
One of the major problem in face verification is to deal with a few number of images per person to train the system. A solution to that problem is to generate virtual samples from...
140
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...