Sciweavers

10790 search results - page 19 / 2158
» Using feature models to automate model transformations
Sort
View
ASP
2001
Springer
15 years 4 months ago
Useful Transformations in Answer set programming
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
Mauricio Osorio, Juan Carlos Nieves, Chris Giannel...
JMM2
2006
145views more  JMM2 2006»
14 years 11 months ago
Improved Active Shape Model for Facial Feature Extraction in Color Images
In this paper we present an improved Active Shape Model (ASM) for facial features extraction. The original ASM developed by Cootes et al. [1] suffers from factors such as, poor mod...
Mohammad H. Mahoor, Mohamed Abdel-Mottaleb, A-Nass...
DAC
2003
ACM
16 years 20 days ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
IICAI
2007
15 years 1 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
ISCAS
2008
IEEE
171views Hardware» more  ISCAS 2008»
15 years 6 months ago
Statistical image modeling using von Mises distribution in the complex directional wavelet domain
— In this paper, a new statistical model is proposed for modeling the nature images in the transform domain. We demonstrate that the von Mises distribution (VM) fits accurately ...
An P. N. Vo, Soontorn Oraintara, Truong T. Nguyen