2150 search results - page 307 / 430 » On a restricted cross-intersection problem |
GROUP
1999
ACM
15 years 2 months ago
1999
ACM
Visual shared workspaces will be always staying on users’ screens in the near future. Users will be moving frequently between their personal workspaces for personal and asynchro...
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The information overload on the Web has created a great need for efficient filtering mechanisms. Many sites (e.g., CNN and Quicken) address this problem by allowing a user to crea...
104
click to vote
IV
1999
IEEE
15 years 2 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...