1916 search results - page 163 / 384 » Reasoning with class algebra |
139
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
134
click to vote
LPAR
2005
Springer
15 years 10 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 ...
150
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
143
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
120
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...