Sciweavers

1656 search results - page 198 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
APN
1992
Springer
15 years 8 months ago
Towards a Modular Analysis of Coloured Petri Nets
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
Søren Christensen, Laure Petrucci
BIBM
2008
IEEE
175views Bioinformatics» more  BIBM 2008»
15 years 11 months ago
Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources
We propose a novel approach for predicting protein functions of an organism by coupling sequence homology and PPI data between two (or more) species with multifunctional Gene Onto...
Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishr...
AIED
2005
Springer
15 years 10 months ago
Towards support in building qualitative knowledge models
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
Vania Bessa Machado, Roland Groen, Bert Bredeweg
TASE
2008
IEEE
15 years 4 months ago
Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
Vincenzo Giordano, Jing Bing Zhang, David Naso, Fr...
SODA
2008
ACM
77views Algorithms» more  SODA 2008»
15 years 5 months ago
Online make-to-order joint replenishment model: primal dual competitive algorithms
In this paper, we study an online make-to-order variant of the classical joint replenishment problem (JRP) that has been studied extensively over the years and plays a fundamental...
Niv Buchbinder, Tracy Kimbrel, Retsef Levi, Konsta...