5451 search results - page 426 / 1091 » The SIGNAL Expert System |
238
click to vote
ECOOPW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
190
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
168
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
188
click to vote
IEAAIE
2000
Springer
15 years 11 months ago
2000
Springer
Gathering, maintenance, integration and presentation of statistics are major activities of the Dutch Agricultural Economics Research Institute LEI. In this paper we explore how kno...
182
click to vote
ACMACE
2009
ACM
15 years 11 months ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...