Sciweavers

3921 search results - page 235 / 785
» Transforming Models with ATL
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Measuring the Functional Size of Conceptual Models in an MDA Environment
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
Beatriz Marín, Nelly Condori-Fernánd...
ICIP
2007
IEEE
15 years 8 months ago
Bayesian Example Based Segmentation using a Hybrid Energy Model
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
Claire Gallagher, Anil C. Kokaram
IJCAI
2007
15 years 8 months ago
A New Perspective on Stable Models
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
TSMC
2008
89views more  TSMC 2008»
15 years 6 months ago
A Probabilistic Wavelet System for Stochastic and Incomplete Data-Based Modeling
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
Zhi Liu, Han-Xiong Li, Yun Zhang
ECRA
2002
111views more  ECRA 2002»
15 years 6 months ago
The Web Service Modeling Framework WSMF
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...
Dieter Fensel, Christoph Bussler