3552 search results - page 427 / 711 » Proof theory in the abstract |
153
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
179
click to vote
MKM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
178
Voted
REFSQ
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Requirements engineering is still an area of software engineering in which theory and practice greatly differ. This work presents the results of an empirical study of ar...
225
click to vote
RSKT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...
137
Voted
SUM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...