1982 search results - page 10 / 397 » Parametricity and dependent types |
SE
2007
14 years 11 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
ICML
1998
IEEE
15 years 10 months ago
1998
IEEE
Three factors are related in analyses of performance curves such as learning curves: the amount of training, the learning algorithm, and performance. Often we want to know whether...
MPC
2004
Springer
15 years 3 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
ICIAP
2005
ACM
15 years 10 months ago
2005
ACM
Parameterized wavelet filters and wavelet packet subband structures are discussed to be used as key dependent wavelet transforms in order to enhance the security of wavelet based h...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
A measure of stability for a wide class of pattern recognition algorithms is introduced to cope with overfitting in classification problems. Based on this concept, constructive me...