Sciweavers

1828 search results - page 208 / 366
» First-Class Type Classes
Sort
View
CP
2004
Springer
15 years 11 months ago
Global Constraints for Integer and Set Value Precedence
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
Yat Chiu Law, Jimmy Ho-Man Lee
GPCE
2004
Springer
15 years 11 months ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
Davide Ancona, Eugenio Moggi
HYBRID
2004
Springer
15 years 11 months ago
Discrete and Hybrid Nonholonomy
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
SSPR
2004
Springer
15 years 11 months ago
Learning from General Label Constraints
Most machine learning algorithms are designed either for supervised or for unsupervised learning, notably classification and clustering. Practical problems in bioinformatics and i...
Tijl De Bie, Johan A. K. Suykens, Bart De Moor
ICDAR
2003
IEEE
15 years 11 months ago
Confidence Evaluation for Combining Diverse Classifiers
For combining classifiers at measurement level, the diverse outputs of classifiers should be transformed to uniform measures that represent the confidence of decision, hopefully, ...
Hongwei Hao, Cheng-Lin Liu, Hiroshi Sako