75 search results - page 4 / 15 » Assisted Proof Document Authoring |
HICSS
2007
IEEE
14 years 27 days ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
TPHOL
2006
IEEE
14 years 17 days ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
ITP
2010
13 years 5 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
ERCIMDL
2004
Springer
13 years 12 months ago
2004
Springer
In maintaining Digital Libraries, having bibliographic data up-to-date is critical, yet often minor irregularities may cause information isolation. Unlike documents for which vario...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
A surprisingly high percentage of assistive technology devices (35% or more) are purchased, but not successfully adopted. Through semi-structured interviews with a dozen families,...