Sciweavers

80 search results - page 10 / 16
» Recursive subtyping revealed
Sort
View
ICFP
2005
ACM
15 years 9 months ago
Type inference, principal typings, and let-polymorphism for first-class mixin modules
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
Henning Makholm, J. B. Wells
80
Voted
PLDI
2004
ACM
15 years 2 months ago
Region inference for an object-oriented language
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Mart...
ICCV
2007
IEEE
15 years 11 months ago
Multiscale Edge Detection and Fiber Enhancement Using Differences of Oriented Means
We present an algorithm for edge detection suitable for both natural as well as noisy images. Our method is based on efficient multiscale utilization of elongated filters measurin...
Meirav Galun, Ronen Basri, Achi Brandt
RECOMB
2006
Springer
15 years 9 months ago
Sorting by Translocations Via Reversals Theory
Abstract. The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of...
Michal Ozery-Flato, Ron Shamir
SAINT
2007
IEEE
15 years 3 months ago
A HIP Based Network Mobility Protocol
– The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and ch...
Szabolcs Nováczki, László Bok...