Sciweavers

7715 search results - page 296 / 1543
» Visual Rules Modeling
Sort
View
IEE
2007
120views more  IEE 2007»
15 years 6 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
190
Voted
TITB
2008
178views more  TITB 2008»
15 years 6 months ago
Automated Diagnosis of Coronary Artery Disease Based on Data Mining and Fuzzy Modeling
A fuzzy rule-based decision support system (DSS) is presented for the diagnosis of coronary artery disease (CAD). The system is automatically generated from an initial annotated da...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
IGPL
2010
97views more  IGPL 2010»
15 years 5 months ago
A symbolic/subsymbolic interface protocol for cognitive modeling
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
Patrick Simen, Thad A. Polk
CADE
2005
Springer
16 years 7 months ago
The Model Evolution Calculus with Equality
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Cesare Tinelli
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
16 years 1 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...