108
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
101
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...
35
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
116
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
120
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
56
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
85
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
37
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
52
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
44
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
Abstract--We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As ...