10 search results - page 2 / 2 » A Proposed Categorical Semantics for ML Modules |
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
For video summarization and retrieval, one of the important modules is to group temporal-spatial coherent shots into high-level semantic video clips namely scene segmentation. In ...
IADIS
2004
13 years 6 months ago
2004
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...