Sciweavers

321 search results - page 23 / 65
» Modeling liaison in French by using decision trees
Sort
View
IEEEARES
2006
IEEE
15 years 6 months ago
Defense trees for economic evaluation of security investments
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
Stefano Bistarelli, Fabio Fioravanti, Pamela Peret...
131
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
147
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
105
Voted
ISVC
2010
Springer
14 years 11 months ago
On Supervised Human Activity Analysis for Structured Environments
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...
Banafshe Arbab-Zavar, Imed Bouchrika, John N. Cart...
92
Voted
SIGKDD
2002
78views more  SIGKDD 2002»
15 years 4 days ago
Predicting the Effects of Gene Deletion
In this paper, we describe techniques that can be used to predict the effects of gene deletion. We will focus mainly on the creation of predictive variables, and then briefly disc...
David S. Vogel, Randy C. Axelrod