Sciweavers

29908 search results - page 390 / 5982
» On the complexity of communication complexity
Sort
View
ESSLLI
2009
Springer
15 years 4 months ago
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
Andreas Schnabl
118
Voted
JGS
2011
45views more  JGS 2011»
15 years 1 months ago
Time evolution of complex networks: commuting systems in insular Italy
The aim of this paper is to study the dynamics of commuting system of two insular regions of Italy, Sardinia and Sicily, inspected as complex networks. The authors refer to a thir...
Andrea De Montis, Simone Caschili, Alessandro Ches...
DGCI
2011
Springer
14 years 10 months ago
Some Morphological Operators on Simplicial Complex Spaces
In this work, we propose a framework that allows to build morphological operators for processing and filtering objects defined on t) simplicial complex spaces. We illustrate with...
Fabio Dias, Jean Cousty, Laurent Najman
ICDT
2012
ACM
293views Database» more  ICDT 2012»
13 years 9 months ago
On the complexity of query answering over incomplete XML documents
Previous studies of incomplete XML documents have identified three main sources of incompleteness – in structural information, data values, and labeling – and addressed data ...
Amélie Gheerbrant, Leonid Libkin, Tony Tan
CVPR
2009
IEEE
1378views Computer Vision» more  CVPR 2009»
17 years 1 months ago
A Novel Feature Descriptor Invariant to Complex Brightness Changes
We describe a novel and robust feature descriptor called ordinal spatial intensity distribution (OSID) which is invariant to any monotonically increasing brightness changes. Many t...
Feng Tang, Suk Hwan Lim, Nelson L. Chang, Hai Tao