Sciweavers

7393 search results - page 134 / 1479
» Synthesis-for-testability using transformations
Sort
View
SERP
2003
15 years 4 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 3 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 1 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
88
Voted
ICASSP
2011
IEEE
14 years 7 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 8 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...