11214 search results - page 102 / 2243 » Just-in-time data structures |
CVPR
2004
IEEE
15 years 2 days ago
2004
IEEE
We present a novel structure-enhancing adaptive filter guided by features derived from the Gradient Structure Tensor. We employ this filter to reduce noise in seismic data and to ...
CIDM
2007
IEEE
14 years 4 months ago
2007
IEEE
— We present K2GA, an algorithm for learning Bayesian network structures from data. K2GA uses a genetic algorithm to perform stochastic search, while employing a modified versio...
SSPR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
LICS
2002
IEEE
14 years 3 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
COSIT
1997
Springer
14 years 2 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...