7393 search results - page 1224 / 1479 » Synthesis-for-testability using transformations |
146
click to vote
CPM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
161
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
: In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently and effectively. In XAR-Miner, raw XML data are first transformed to either...
122
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
166
click to vote
EGPGV
2004
Springer
15 years 9 months ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...
117
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Today, most mobile devices (e.g. PDAs) are in some way associated to a fixed personal computer or server. In general this relation is only taken into account for synchronization p...