Sciweavers

10148 search results - page 2 / 2030
» Optimal sub-graphical models
Sort
View
PE
2010
Springer
180views Optimization» more  PE 2010»
13 years 3 months ago
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
SAB
2010
Springer
132views Optimization» more  SAB 2010»
13 years 3 months ago
A Cortical Column Model for Multiscale Spatial Planning
Louis-Emmanuel Martinet, Angelo Arleo
CCS
2007
ACM
13 years 11 months ago
Optimal security hardening using multi-objective optimization on attack tree models of networks
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
Rinku Dewri, Nayot Poolsappasit, Indrajit Ray, Dar...