Sciweavers

7393 search results - page 314 / 1479
» Synthesis-for-testability using transformations
Sort
View
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
138
Voted
ICCS
2005
Springer
15 years 10 months ago
Hierarchical Knowledge Integration Using Layered Conceptual Graphs
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
Madalina Croitoru, Ernesto Compatangelo, Chris Mel...
CVPR
2010
IEEE
15 years 9 months ago
Visual Recognition using Mappings that Replicate Margins
We consider the problem of learning to map between two vector spaces given pairs of matching vectors, one from each space. This problem naturally arises in numerous vision problem...
Lior Wolf, Nathan Manor
ICANN
2001
Springer
15 years 9 months ago
Clustering of EEG-Segments Using Hierarchical Agglomerative Methods and Self-Organizing Maps
EEG segments recorded during microsleep events were transformed to the frequency domain and were subsequently clustered without the common summation of power densities in spectral ...
David Sommer, Martin Golz
ICIP
2007
IEEE
15 years 8 months ago
Space-Frequency Quantization using Directionlets
In our previous work [1], we proposed a construction of critically sampled perfect reconstruction transforms with directional vanishing moments (DVMs) imposed in the corresponding...
Vladan Velisavljevic, Baltasar Beferull-Lozano, Ma...