5510 search results - page 117 / 1102 » Mathematics |
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we will show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
121
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
82
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
87
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
60
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
