Sciweavers

297 search results - page 45 / 60
» Validation of an agent based system using Petri Nets
Sort
View
CORR
2010
Springer
319views Education» more  CORR 2010»
14 years 10 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...
LREC
2008
180views Education» more  LREC 2008»
15 years 4 days ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc
ESAW
2004
Springer
15 years 4 months ago
Techniques for Analysis and Calibration of Multi-agent Simulations
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
Manuel Fehler, Franziska Klügl, Frank Puppe
CAV
2005
Springer
104views Hardware» more  CAV 2005»
15 years 4 months ago
Expand, Enlarge and Check... Made Efficient
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
Gilles Geeraerts, Jean-François Raskin, Lau...
BROADNETS
2006
IEEE
15 years 4 months ago
Optimizing IP Multicast through Delayed Multicast Tree Pruning
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
Yongjun Li, Wenhui Zhou, James Zijun Wang, Deyu Qi