Sciweavers

4166 search results - page 142 / 834
» Automating the constraining process
Sort
View
CAISE
2004
Springer
15 years 3 months ago
Towards a Semi-Automated Approach to Intermodel Transformation
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
Michael Boyd, Peter McBrien
CAISE
2003
Springer
15 years 3 months ago
View Generation and Optimisation in the AutoMed Data Integration Framework
This paper describes view generation and view optimisation in the AutoMed heterogeneous data integration framework. In AutoMed, schema integration is based on the use of reversibl...
Edgar Jasper, Nerissa Tong, Peter McBrien, Alexand...
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
14 years 10 months ago
Automated Optic Nerve Disc Parameterization
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
Povilas Treigys, Vydunas Saltenis, Gintautas Dzemy...
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 7 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
DAC
2001
ACM
15 years 11 months ago
Automated Pipeline Design
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
Daniel Kroening, Wolfgang J. Paul