4266 search results - page 433 / 854 » The container loading problem |
167
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
186
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
192
click to vote
ASWSD
2004
Springer
16 years 2 days ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
162
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
This paper addresses the problem of the explanation of the result given by a decision tree, when it is used to predict the class of new cases. In order to evaluate this result, the...
172
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
: Open Source Software (OSS) has been well established in industrial software processes during the last couple of years. However, as the combination of OSS and commercial software ...