1317 search results - page 128 / 264 » context 2005 |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
MICAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In highly dynamic environments with uncertainty the elaboration of long or rigid plans is useless because the constructed plans are frequently dismissed by the arrival or...
MKM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
MLMI
2005
Springer
14 years 2 months ago
2005
Springer
Whilst there has been substantial research into technology to support meetings, there has been relatively little study of how meeting participants currently make records and how th...