Sciweavers

765 search results - page 44 / 153
» Objective Bayesian Nets
Sort
View
APN
2003
Springer
15 years 7 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
106
Voted
ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
15 years 4 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»
15 years 1 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
15 years 8 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...
88
Voted
LREC
2008
97views Education» more  LREC 2008»
15 years 3 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