Sciweavers

4636 search results - page 624 / 928
» Modelling and Validation with VipTool
Sort
View
ICCS
2004
Springer
16 years 5 days ago
Agent-Based Simulation of Data-Driven Fire Propagation Dynamics
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
181
Voted
ISMS
2004
Springer
16 years 4 days ago
Coherent Scene Generation for Surgical Simulators
The idea of using computer-based surgical simulators for training of prospective surgeons has been a topic of research for more than a decade. However, surgical simulation is still...
Raimundo Sierra, Michael Bajka, Celalettin Karadog...
ITRUST
2004
Springer
16 years 4 days ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
LCTRTS
2004
Springer
16 years 4 days ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
PKDD
2004
Springer
155views Data Mining» more  PKDD 2004»
16 years 4 days ago
Ensemble Feature Ranking
A crucial issue for Machine Learning and Data Mining is Feature Selection, selecting the relevant features in order to focus the learning search. A relaxed setting for Feature Sele...
Kees Jong, Jérémie Mary, Antoine Cor...