15421 search results - page 191 / 3085 » Dependability |
193
click to vote
EUC
2005
Springer
16 years 23 days 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...
166
click to vote
EUROPAR
2005
Springer
16 years 23 days 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...
196
click to vote
RSFDGRC
2005
Springer
16 years 22 days 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...
164
click to vote
TACAS
2005
Springer
16 years 22 days 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...
320
click to vote
ATAL
2005
Springer
16 years 21 days 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...