3238 search results - page 18 / 648 » On the Computational Interpretation of Negation |
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
ICCS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we explore the expressivity of default CG rules (a CGoriented subset of Reiter’s default logics) through two applications. In the first one, we show tha...
CIS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we propose a new variational decomposition model which splits an image into two components: a first one containing the structure and a second one the texture or nois...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider the problem of query containment for conjunctive queries with safe negation property. A necessary and sufficient condition for two queries to be in containmen...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
The Non-negative Matrix Factorization technique (NMF) has been recently proposed for dimensionality reduction. NMF is capable to produce a region- or partbased representation of o...