3690 search results - page 146 / 738 » Computation with classical sequents |
SAC
2002
ACM
14 years 9 months ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—In this paper a novel system for automatic detection and segmentation of focal liver lesions in CT images is presented. It utilizes a probabilistic boosting tree to clas...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Extraction of blood vessels within the retina is an important task that can help in detecting a number of diseases, including diabetic retinopathy. Current techniques achieve good,...
MFCS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
ACL
2010
14 years 8 months ago
2010
Distributional similarity is a classic technique for entity set expansion, where the system is given a set of seed entities of a particular class, and is asked to expand the set u...