8828 search results - page 129 / 1766 » Formal methods in practice |
154
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
116
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
125
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We compare the practical performance of several recently proposed algorithms for active learning in the online classification setting. We consider two active learning algorithms (...
213
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
158
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...