Sciweavers

12131 search results - page 16 / 2427
» Introduction to Modeling and Simulation
Sort
View
174
Voted
SIMULATION
2002
187views more  SIMULATION 2002»
15 years 3 months ago
Modeling Telecommunication Infrastructures Integrating Wideband Wireless and Wired Networks
Paolo Arseni, Gennaro Boggia, Pietro Camarda
143
Voted
FASE
2011
Springer
14 years 7 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
128
Voted
TASE
2007
IEEE
15 years 10 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
299
Voted

Book
5396views
17 years 2 months ago
Markov Random Field Modeling in Computer Vision
Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables us to develop optimal vision algorithms sy...
Stan Z. Li
218
Voted
CORR
2010
Springer
319views Education» more  CORR 2010»
15 years 3 months ago
Investigating Output Accuracy for a Discrete Event Simulation Model and an Agent Based Simulation Model
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
Mazlina Abdul Majid, Uwe Aickelin, Peer-Olaf Siebe...