2223 search results - page 170 / 445 » Ontological Framework for Approximation |
140
click to vote
VMCAI
2007
Springer
16 years 13 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
194
click to vote
COMPUTING
2008
15 years 6 months ago
2008
Generalizing the approach of a previous work [15] the authors present multilevel preconditioners for three-dimensional (3D) elliptic problems discretized by a family of Rannacher ...
170
click to vote
PAMI
2011
15 years 1 months ago
2011
—In this paper, we introduce a novel method to solve shape alignment problems. We use gray-scale “images” to represent source shapes, and propose a novel two-component Gaussi...
189
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a framework for edge detection in range images acquired by a time of flight laser sensor. Our edge detection approach is inspired by [7], in the context of which edge d...
188
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...