Sciweavers

765 search results - page 44 / 153
» Objective Bayesian Nets
Sort
View
APN
2003
Springer
14 years 3 months ago
Deciding Life-Cycle Inheritance on Petri Nets
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
H. M. W. (Eric) Verbeek, Twan Basten
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
13 years 12 months ago
NetQi: A Model Checker for Anticipation Game
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
Elie Bursztein
TSE
2002
107views more  TSE 2002»
13 years 9 months ago
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
Marco Gribaudo, András Horváth
ATAL
2005
Springer
14 years 3 months ago
NETDEMO: openNet networked agents demonstration
One   of   the   most   significant   challenges   in   applying   agent technologies lies in deployment of agent systems in large­scale open   environments.   ...
Steven Willmott, Martin D. Beer, Richard Hill, Dom...
LREC
2008
97views Education» more  LREC 2008»
13 years 11 months ago
Enriching GermaNet with verb-noun relations - a case study of lexical acquisition
In this paper we will focus on the lexical-semantic relations in the German wordnet GermaNet. It has been shown that wordnets suffer from the relatively small number of relations ...
Lothar Lemnitzer, Holger Wunsch, Piklu Gupta