Sciweavers

2648 search results - page 151 / 530
» Worlds, Models, and KM
Sort
View
WSC
2004
15 years 7 months ago
Simulating the Panama Canal: Present and Future
This paper presents the methodologies and preliminary results of the project to develop a simulation model of the Panama Canal, one of the most famous waterway and locks system of...
Luiz Augusto Gago Franzese, Luiz Otávio Abd...
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Quantum Arrows in Haskell
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
Juliana Kaizer Vizzotto, Antônio Carlos da R...
CMSB
2008
Springer
15 years 8 months ago
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
Robin Donaldson, David Gilbert
IADIS
2008
15 years 8 months ago
e-Learning Courseware Effort Estimate Model
This paper presents an improved software estimation model, which uses to estimate developing effort of e-Learning's contents. This model is called the e-Learning courseware E...
Vajirasak Vanijja, Athitha Chokananratana
DLOG
2003
15 years 7 months ago
Conceptual Modeling with Description Logics
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Alexander Borgida, Ronald J. Brachman