3256 search results - page 565 / 652 » Applications of Formal Methods to System Design and Verifica... |
GECCO
2006
Springer
15 years 1 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...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
WSCG
2003
2003
Multifaceted Interaction with a Virtual Engineering Environment using a Scenegraph-oriented Approach
14 years 11 months ago
To provide an adequate user interface to the large amount of geometrical and alphanumerical date coupled to the geometries, the 3D interaction in the virtual environment is combin...
AIPS
1994
14 years 11 months ago
1994
Aimsof traditional planners had beenlimited to finding a sequenceof operators rather than finding an optimal or neax-optimalfinal state. Consequent]y, the performanceimprovementsy...
CCE
2005
14 years 9 months ago
2005
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...