Sciweavers

630 search results - page 41 / 126
» Concept of spectrum-signal transformation
Sort
View
LCTRTS
2010
Springer
13 years 7 months ago
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
Matthias Biehl, De-Jiu Chen, Martin Törngren
ENTCS
2002
90views more  ENTCS 2002»
13 years 9 months ago
Refactoring in maintenance and development of Z specifications
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
Susan Stepney, Fiona Polack, Ian Toyn
JUCS
2002
116views more  JUCS 2002»
13 years 9 months ago
Design for All as a Challenge for Hypermedia Engineering
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
Volker Mattick
PR
2002
140views more  PR 2002»
13 years 9 months ago
Negotiating the semantic gap: from feature maps to semantic landscapes
In this paper, we present the results of a project that seeks to transform low-level features to a higher level of meaning. This project concerns a technique, latent semantic inde...
Rong Zhao, William I. Grosky
IJON
2010
120views more  IJON 2010»
13 years 8 months ago
Semi-supervised learning with varifold Laplacians
This paper presents varifold learning, a learning framework based on the mathematical concept of varifolds. Different from manifold based methods, our varifold learning framework ...
Lei Ding, Peibiao Zhao