7393 search results - page 1442 / 1479 » Synthesis-for-testability using transformations |
APWEB
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a novel indexing technique called Multi-scale Similarity Indexing (MSI) to index image’s multi-features into a single one-dimensional structure. Both f...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
108
click to vote
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. To generalize the Fisher Discriminant Analysis (FDA) algorithm to the case of discriminant functions belonging to a nonlinear, finite dimensional function space F (Nonli...