1982 search results - page 10 / 397 » Parametricity and dependent types |
128
Voted
SE
2007
15 years 5 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...
113
Voted
ICML
1998
IEEE
16 years 4 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...
128
Voted
MPC
2004
Springer
15 years 9 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...
113
Voted
ICIAP
2005
ACM
16 years 3 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...
119
Voted
ICPR
2004
IEEE
16 years 4 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...