1888 search results - page 132 / 378 » Proof theory and computational analysis |
101
Voted
DCC
2008
IEEE
16 years 6 days ago
2008
IEEE
A method is proposed for the compression of hyperspectral signature vectors on severely resourceconstrained encoding platforms. The proposed technique, compressive-projection prin...
134
Voted
SIBGRAPI
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a novel method for estimating the effective number of independent variables in imaging applications that require multiple hypothesis testing. The method ...
96
Voted
ICSE
1994
IEEE-ACM
15 years 4 months ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
97
Voted
CCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
118
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...