2771 search results - page 57 / 555 » A General Computational Treatment of the Comparative |
FSTTCS
1999
Springer
15 years 2 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
ADHOC
2007
14 years 10 months ago
2007
Various healthcare areas such as diagnosis, surgery, intensive care and treatment, and patient monitoring in general, would greatly benefit from light, autonomous devices which c...
103
click to vote
IDA
2006
Springer
14 years 9 months ago
2006
Springer
Text categorization is a well-known task based essentially on statistical approaches using neural networks, Support Vector Machines and other machine learning algorithms. Texts are...
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Effective image prior is necessary for image super resolution, due to its severely under-determined nature. Although the edge smoothness prior can be effective, it is generally di...