2829 search results - page 193 / 566 » Regularization Methods for Additive Models |
166
click to vote
NETWORK
2010
15 years 1 months ago
2010
In this article, a new model to simulate different failure propagation scenarios in GMPLS-based networks is proposed. Several types of failures and malfunctions may spread along t...
144
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
218
click to vote
CAIP
2007
Springer
16 years 17 days ago
2007
Springer
— Background subtraction is a method commonly used to segment objects of interest in image sequences. By comparing new frames to a background model, regions of interest can be fo...
167
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
204
click to vote
I3E
2001
15 years 7 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...