1982 search results - page 172 / 397 » Parametricity and dependent types |
142
click to vote
ACS
2010
15 years 6 months ago
2010
Essentiality is an important notion closely related to injectivity. Depending on a class M of morphisms of a category A, three different types of essentiality are considered in lit...
147
click to vote
AMC
2007
15 years 6 months ago
2007
In this contribution instances of a problem introduced by the differential cryptanalysis of Feistel cryptosystems are formulated as optimization tasks. The performance of Evoluti...
153
click to vote
CE
2008
15 years 6 months ago
2008
Researchers investigated differences in learner preferences for different types of instructional strategies and learning styles in online environments. Results suggested that matc...
198
click to vote
CGF
2006
15 years 6 months ago
2006
Performances of actual mesh compression algorithms vary significantly depending on the type of model it encodes. These methods rely on prior assumptions on the mesh to be efficient...
146
click to vote
IEPOL
2006
15 years 6 months ago
2006
This paper develops a simple model of software piracy to analyze the short-run effects of piracy on software usage and the long-run effects on development incentives. We consider ...