Sciweavers

4636 search results - page 143 / 928
» Modelling and Validation with VipTool
Sort
View
IJCAI
2007
13 years 9 months ago
Managing Domain Knowledge and Multiple Models with Boosting
We present MBoost, a novel extension to AdaBoost that extends boosting to use multiple weak learners explicitly, and provides robustness to learning models that overfit or are po...
Peng Zang, Charles Lee Isbell Jr.
ATAL
2003
Springer
14 years 1 months ago
Towards model checking interpreted systems
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
BMCBI
2008
101views more  BMCBI 2008»
13 years 8 months ago
Term-tissue specific models for prediction of gene ontology biological processes using transcriptional profiles of aging in dros
Background: Predictive classification on the base of gene expression profiles appeared recently as an attractive strategy for identifying the biological functions of genes. Gene O...
Wensheng Zhang, Sige Zou, Jiuzhou Song
INFSOF
2007
145views more  INFSOF 2007»
13 years 7 months ago
Metrics for data warehouse conceptual models understandability
Due to the principal role of Data warehouses (DW) in making strategy decisions, data warehouse quality is crucial for organizations. Therefore, we should use methods, models, tech...
Manuel A. Serrano, Juan Trujillo, Coral Calero, Ma...
ICALT
2006
IEEE
14 years 1 months ago
Using Ontologies to Model and Execute IMS Learning Design Documents
This paper briefly describes how ontologies can be used to model, validate and execute IMS Learning Design. The main contribution relies on incorporate the implicit knowledge foun...
Ricardo R. Amorim, Manuel Lama, Eduardo Sán...