9325 search results - page 399 / 1865 » The decentralized implementability problem |
128
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper deals with the minimal polyadic decomposition (also known as canonical decomposition or Parafac) of a 3way array, assuming each entry is positive. In this case, the low...
173
click to vote
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
145
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
In this paper, we present a novel image interpolation method based on variational models with both smoothing and orientation constraints. By introducing the orientation constraint...
140
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
141
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...