3238 search results - page 11 / 648 » On the Computational Interpretation of Negation |
ICCV
2005
IEEE
14 years 9 months ago
2005
IEEE
Example-based learning of codes that statistically encode general image classes is of vital importance for computational vision. Recently, non-negative matrix factorization (NMF) ...
MEMBRANE
2007
Springer
14 years 1 months ago
2007
Springer
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...
DLT
2009
13 years 5 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
APAL
2010
13 years 7 months ago
2010
We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An...
CIE
2010
Springer
14 years 6 days ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...