Sciweavers

2706 search results - page 233 / 542
» The case for a new business model
Sort
View
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
16 years 26 days ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
GECCO
2004
Springer
124views Optimization» more  GECCO 2004»
16 years 1 days ago
A Statistical Model of GA Dynamics for the OneMax Problem
A model of the dynamics of solving the counting-ones (OneMax) problem using a simple genetic algorithm (GA) is developed. It uses statistics of the early generations of GA runs to ...
Bulent Buyukbozkirli, Erik D. Goodman
CIARP
2006
Springer
15 years 10 months ago
A Method for Detection and Modeling of the Human Spine Based on Principal Curvatures
The detection and modeling of the human spine from scanned 3D data is an important issue in biomedical shape analysis. It can be useful for avoiding invasive treatments like radiog...
Y. Santiesteban, J. M. Sanchiz, José Mart&i...
ESORICS
2010
Springer
15 years 7 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers
ICASSP
2011
IEEE
14 years 10 months ago
L0 sparse graphical modeling
Graphical models are well established in providing compact conditional probability descriptions of complex multivariable interactions. In the Gaussian case, graphical models are d...
Goran Marjanovic, Victor Solo