15421 search results - page 191 / 3085 » Dependability |
128
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
132
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
137
click to vote
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a new variant of Bagging named DepenBag is proposed. This algorithm obtains bootstrap samples at first. Then, it employs a causal discoverer to induce from each sam...
120
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
249
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...