Sciweavers

320 search results - page 10 / 64
» Automating Model Transformations in Agent-Oriented Modelling
Sort
View
123
Voted
DOLAP
2003
ACM
15 years 5 months ago
Using AutoMed metadata in data warehousing environments
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
Hao Fan, Alexandra Poulovassilis
CSL
2004
Springer
15 years 5 months ago
Predicate Transformers and Linear Logic: Yet Another Denotational Model
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
Pierre Hyvernat
100
Voted
WSC
2004
15 years 1 months ago
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
Hans Vangheluwe, Juan de Lara
FSS
2008
69views more  FSS 2008»
15 years 15 days ago
A methodology for automated fuzzy model generation
In this paper we propose a generic methodology for the automated generation of fuzzy models. The methodology is realized in three stages. Initially, a crisp model is created and i...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
NIPS
2003
15 years 1 months ago
Markov Models for Automated ECG Interval Analysis
We examine the use of hidden Markov and hidden semi-Markov models for automatically segmenting an electrocardiogram waveform into its constituent waveform features. An undecimated...
Nicholas P. Hughes, Lionel Tarassenko, Stephen J. ...