4099 search results - page 361 / 820 » A Framework for Interactive Proof |
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
170
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we present an empirical study of the InterBook system to demonstrate the benefits of the layered evaluation framework, where the success of adaptation is addressed at...
144
click to vote
LREC
2010
15 years 8 months ago
2010
The fast evolution of language technology has produced pressing needs in standardization. The multiplicity of language resources representation levels and the specialization of th...
177
click to vote
CRISIS
2009
15 years 7 months ago
2009
This paper develops a framework for analyzing security risk dependencies in organizations and ranking the risks. The framework captures how risk `diffuses' via complex interac...
142
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
While the information resources on the Web are vast, the sources are often hard to find, painful to use, and difficult to integrate. We have developed the Heracles framework for b...