979 search results - page 64 / 196 » Footprints in Local Reasoning |
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an approach to decomposing branching volume data into sub-branches. First, a metric is proposed for evaluating local convexities in volumetric data, and it is a criteri...
AC
2000
Springer
14 years 11 hour ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
PLILP
1994
Springer
13 years 11 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
CLIMA
2004
13 years 9 months ago
2004
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
CAGD
2005
13 years 7 months ago
2005
The paper iterates on the observation made independently by several groups of authors that building subdivision schemes out of simple, very local and geometrically invariant avera...