39 search results - page 8 / 8 » Measuring Safety: Applying PSM to the System Safety Domain |
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
KR
2000
Springer
13 years 8 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
ESANN
2007
13 years 6 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
ICCV
2005
IEEE
14 years 7 months ago
2005
IEEE
For a large object, scanning from the air is one of the most efficient methods of obtaining 3D data. But in the case of large cultural heritage objects, there are some difficultie...