2335 search results - page 333 / 467 » Type Checking Type Classes |
169
Voted
JOT
2007
15 years 2 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
161
Voted
CN
2002
15 years 2 months ago
2002
An analytical framework for modeling a network of Random Early Detection (RED) queues with mixed traffic types (e.g. TCP and UDP) is developed. Expressions for the steady state go...
105
Voted
ML
2007
ACM
15 years 2 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
144
Voted
PAMI
2007
15 years 2 months ago
2007
—Most fingerprint-based biometric systems store the minutiae template of a user in the database. It has been traditionally assumed that the minutiae template of a user does not r...
116
click to vote
IJFCS
2010
15 years 1 months ago
2010
The fundamental properties of the class QUASI of quasi-relabeling relations are investigated. A quasi-relabeling relation is a tree relation that is de ned by a tree bimorphism (...