3706 search results - page 435 / 742 » The Transformational Approach to Program Development |
153
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
165
click to vote
FC
1998
Springer
15 years 9 months ago
1998
Springer
Digital watermarking is a nascent but promising technology that offers protection of unencrypted digital content. This paper is a brief technical survey of the multimedia watermark...
154
click to vote
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
135
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
131
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...