13603 search results - page 148 / 2721 » On the Computational Complexity of Cut-Reduction |
211
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
177
click to vote
IJAC
2010
15 years 3 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
164
click to vote
PR
2008
15 years 6 months ago
2008
This paper presents a novel set of geometric moments with symmetric kernel (SGM) obtained using an appropriate transformation of image coordinates. By using this image transformat...
157
click to vote
ACMIDC
2010
15 years 10 months ago
2010
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
148
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...