105 search results - page 12 / 21 » Encoding Intensional Type Analysis |
144
click to vote
SCIENTOMETRICS
2011
14 years 7 months ago
2011
Measuring the intellectual diversity encoded in publication records as a proxy to the degree of interdisciplinarity has recently received considerable attention in the science mapp...
129
click to vote
UC
2009
Springer
15 years 11 months ago
2009
Springer
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
140
click to vote
LREC
2010
15 years 5 months ago
2010
The field of opinion mining has emerged in recent years as an exciting challenge for computational linguistics: investigating how humans express subjective judgments through lingu...
158
click to vote
JFP
2007
15 years 4 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
140
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...