Sciweavers

4636 search results - page 135 / 928
» Modelling and Validation with VipTool
Sort
View
HAIS
2010
Springer
14 years 21 days ago
On the Use of a Hybrid Approach to Contrast Endmember Induction Algorithms
Abstract. In remote sensing hyperspectral image processing, identifying the constituent spectra (endmembers) of the materials in the image is a key procedure for further analysis. ...
Miguel A. Veganzones, Carmen Hernández
AAAI
2006
13 years 9 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
CMPB
2008
76views more  CMPB 2008»
13 years 8 months ago
Model-based identification of PEEP titrations during different volemic levels
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
Christina Starfinger, J. Geoffrey Chase, Christoph...
EAAI
2006
98views more  EAAI 2006»
13 years 8 months ago
Neural network-based failure rate prediction for De Havilland Dash-8 tires
An artificial neural network (ANN) model for predicting the failure rate of De Havilland Dash-8 airplane tires utilizing the twolayered feed-forward back-propagation algorithm as ...
Ahmed Z. Al-Garni, Ahmad Jamal, Abid M. Ahmad, Abd...
SIES
2007
IEEE
14 years 2 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell