3690 search results - page 146 / 738 » Computation with classical sequents |
106
Voted
SAC
2002
ACM
15 years 5 days 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...
107
click to vote
ICPR
2010
IEEE
14 years 11 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...
109
click to vote
ISVC
2010
Springer
14 years 11 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,...
95
Voted
MFCS
2010
Springer
14 years 11 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, ...
96
Voted
ACL
2010
14 years 10 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...