7393 search results - page 995 / 1479 » Synthesis-for-testability using transformations |
164
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
184
Voted
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
122
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
We will present a novel two-step fuzzy translation technique for cross-lingual spelling variants. In the first stage, transformation rules are applied to source words to render th...
200
click to vote
AVSS
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a novel approach to 3D face recognition using compact face signatures based on automatically detected 3D landmarks. We represent the face geometry with inter-landmark d...
150
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...