3690 search results - page 68 / 738 » Computation with classical sequents |
MEDINFO
2007
14 years 11 months ago
2007
The accurate quantification of disease patterns in medical images allows radiologists to track the progress of a disease. Various computer vision techniques are able to automatica...
FLAIRS
2003
14 years 11 months ago
2003
Freuder in (1991) defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently (2002), we extended the definition of interchangeability to Soft CSP...
CCCG
2009
14 years 11 months ago
2009
We present a method for extracting contours from digital images using techniques from computational geometry. Our approach is different from traditional pixelbased methods in imag...
CIIA
2009
14 years 11 months ago
2009
The project aimed at developing a software audiometer for hearing loss screening. The proposed software is definitely based on the internal peripherals of the computer without any ...
AMC
2007
14 years 10 months ago
2007
We develop several iterative methods for computing generalized inverses using both first and second order optimization methods in C∗ -algebras. Known steepest descent iterative...