1011 search results - page 76 / 203 » The three dimensions of proofs |
174
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
180
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
A general geometrical framework for image processing is presented. We consider intensity images as surfaces in the (x I) space. The image is thereby a two dimensional surface in t...
150
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Anisotropic Gaussian filters are useful for adaptive smoothing and feature extraction. In our application, micro - tomographic images of fibers were smoothed by anisotropic Gaussi...
145
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
162
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
This investigates a new problem of visualizing a set of overlapping networks. We present two methods for constructing visualization of two and three overlapping networks in three ...