11949 search results - page 379 / 2390 » Some results on (a:b)-choosability |
103
click to vote
FLAIRS
2008
15 years 4 months ago
2008
We investigate a simple semi-naive Bayesian ranking method that combines naive Bayes with induction of decision tables. Naive Bayes and decision tables can both be trained efficie...
104
click to vote
NSDI
2008
15 years 4 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
WSC
2008
15 years 4 months ago
2008
This paper discusses a discrete event simulation model developed to identify and understand the impact of different failures on the overall production capabilities in a chemical p...
124
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
125
click to vote
CMMR
2005
Springer
15 years 3 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...