Sciweavers

7393 search results - page 134 / 1479
» Synthesis-for-testability using transformations
Sort
View
SERP
2003
15 years 7 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart
ECEASST
2008
95views more  ECEASST 2008»
15 years 6 months ago
Graph Transformations for the Resource Description Framework
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
Benjamin Braatz, Christoph Brandt
ISVC
2010
Springer
15 years 4 months ago
Retinal Vessel Extraction with the Image Ray Transform
Extraction of blood vessels within the retina is an important task that can help in detecting a number of diseases, including diabetic retinopathy. Current techniques achieve good,...
Alastair H. Cummings, Mark S. Nixon
ICASSP
2011
IEEE
14 years 10 months ago
Parallel Transformation Network features for speaker recognition
The use of speaker adaptation transforms as features for speaker recognition is an appealing alternative to conventional short-term cepstral features. In general, this kind of met...
Alberto Abad, Jordi Luque, Isabel Trancoso
ECMDAFA
2005
Springer
122views Hardware» more  ECMDAFA 2005»
15 years 12 months ago
Semantic Anchoring with Model Transformations
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...