Sciweavers

1828 search results - page 208 / 366
» First-Class Type Classes
Sort
View
CP
2004
Springer
16 years 6 days 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
16 years 6 days 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
16 years 6 days 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
161
Voted
SSPR
2004
Springer
16 years 4 days 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
16 years 3 days 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