7393 search results - page 198 / 1479 » Synthesis-for-testability using transformations |
111
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
While current manufacturing systems are built to avoid uncertainty, the increase of setup reconfiguration frequency and ever higher numbers of variants produced on the same syste...
138
click to vote
PREMI
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a novel age transformation algorithm to handle the challenge of facial aging in face recognition. The proposed algorithm registers the gallery and probe face im...
144
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
123
Voted
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
108
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...