8496 search results - page 105 / 1700 » Problem Solving and Complex Systems |
IBERAMIA
1998
Springer
14 years 5 days ago
1998
Springer
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present the Thistle multi-agent system Help Desk application for helping an end user solve network interoperability problems on their own.1
NA
2011
13 years 2 months ago
2011
We propose a preconditioned variant of the modified HSS (MHSS) iteration method for solving a class of complex symmetric systems of linear equations. Under suitable conditions, w...
CP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
SIAMJO
2010
13 years 6 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...