642 search results - page 49 / 129 » corr 2006 |
119
Voted
CORR
2006
Springer
15 years 15 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...
81
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
In this paper, we present a fast algorithm for constructing a concept (Galois) lattice of a binary relation, including computing all concepts and their lattice order. We also prese...
112
click to vote
CORR
2006
Springer
15 years 15 days ago
2006
Springer
This paper evaluates the robustness of learning from implicit feedback in web search. In particular, we create a model of user behavior by drawing upon user studies in laboratory ...
103
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
The independence numbers of powers of graphs have been long studied, under several definitions of graph products, and in particular, under the strong graph product. We show that t...
102
click to vote
CORR
2006
Springer
15 years 15 days ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...