Sciweavers

159 search results - page 15 / 32
» Effective Simulation Model Reuse: a case study for AMHS mode...
Sort
View
HICSS
2007
IEEE
144views Biometrics» more  HICSS 2007»
14 years 2 months ago
The Indicator Browser: A Web-Based Interface for Visualizing UrbanSim Simulation Results
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
Yael Schwartzman, Alan Borning
CAV
2000
Springer
125views Hardware» more  CAV 2000»
13 years 11 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
ICRA
2008
IEEE
146views Robotics» more  ICRA 2008»
14 years 2 months ago
Exploration of an incremental suite of microscopic models for acoustic event monitoring using a robotic sensor network
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
Christopher M. Cianci, Jim Pugh, Alcherio Martinol...
MICCAI
2002
Springer
14 years 8 months ago
Validation of Tissue Modelization and Classification Techniques in T1-Weighted MR Brain Images
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
Meritxell Bach Cuadra, Bram Platel, Eduardo Solana...
ICSE
2008
IEEE-ACM
14 years 7 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...