Sciweavers

10891 search results - page 94 / 2179
» Combining Model Reductions
Sort
View
CAISE
2006
Springer
15 years 5 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
IADIS
2004
15 years 4 months ago
Combining Interactive Modelling and Scientific Discovery in the Classroom
Collaborative modelling tools can support rich activities in the classroom, including both small group work and plenary activities. They can also support the processing and analys...
Kay Hoeksema, Heinz Ulrich Hoppe
ICCAD
2005
IEEE
101views Hardware» more  ICCAD 2005»
15 years 12 months ago
Parameterized interconnect order reduction with explicit-and-implicit multi-parameter moment matching for inter/intra-die variat
In this paper we propose a novel parameterized interconnect order reduction algorithm, CORE, to efficiently capture both inter-die and intra-die variations. CORE applies a two-ste...
Xin Li, Peng Li, Lawrence T. Pileggi
KDD
2004
ACM
123views Data Mining» more  KDD 2004»
16 years 3 months ago
A DEA approach for model combination
This paper proposes a novel Data Envelopment Analysis (DEA) based approach for model combination. We first prove that for the 2-class classification problems DEA models identify t...
Zhiqiang Zheng, Balaji Padmanabhan, Haoqiang Zheng
WWW
2009
ACM
15 years 9 months ago
Reliability analysis using weighted combinational models for web-based software
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
Chao-Jung Hsu, Chin-Yu Huang