1818 search results - page 265 / 364 » Granularity-Adaptive Proof Presentation |
136
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
136
Voted
SLOGICA
2008
15 years 3 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
149
Voted
CG
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
122
Voted
PVLDB
2010
15 years 1 months ago
2010
In recent years, there has been considerable research on information extraction and constructing RDF knowledge bases. In general, the goal is to extract all relevant information f...
113
Voted
SIAMSC
2010
15 years 1 months ago
2010
In numerous applications of image processing, e.g. astronomical and medical imaging, data-noise is well-modeled by a Poisson distribution. This motivates the use of the negative-lo...