7393 search results - page 410 / 1479 » Synthesis-for-testability using transformations |
179
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
158
click to vote
GW
2005
Springer
15 years 10 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
116
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
176
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel approach to the on-line signature verification using local shape Analysis. First, segment the input signature into several segments using HMM (Hidden M...
118
click to vote
BPM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...