3394 search results - page 68 / 679 » Regular Object Types |
112
Voted
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
124
Voted
SWAT
1998
Springer
15 years 4 months ago
1998
Springer
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
107
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
IJSM
2006
15 years 17 days ago
2006
In a previous work [1] we introduced a construction designed to produce biorthogonal multiresolutions from given subdivisions. This construction was formulated in matrix terms, wh...
60
Voted
ICFP
2006
ACM
16 years 17 days ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...