Sciweavers

11017 search results - page 225 / 2204
» Closure Systems and their Structure
Sort
View
APLAS
2010
ACM
15 years 6 months ago
A Certified Implementation of ML with Structural Polymorphism
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
Jacques Garrigue
JMIV
2000
70views more  JMIV 2000»
15 years 5 months ago
The Topological Structure of Scale-Space Images
We investigate the "deep structure" of a scale-space image. The emphasis is on topology, i.e. we concentrate on critical points--pointswith vanishing gradient--and top-p...
Luc Florack, Arjan Kuijper
INLG
2004
Springer
15 years 11 months ago
Resolving Structural Ambiguity in Generated Speech
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...
Chris Mellish
CVPR
2004
IEEE
16 years 7 months ago
Object-Based Image Retrieval Using the Statistical Structure of Images
We propose a new Bayesian approach to object-based image retrieval with relevance feedback. Although estimating the object posterior probability density from few examples seems in...
Derek Hoiem, Rahul Sukthankar, Henry Schneiderman,...
ICIP
2001
IEEE
16 years 7 months ago
Non-sequential video structuring based on video object linking: an efficient tool for video browsing and indexing
An efficient system for unsupervised structuring of stereoscopic sequences is presented in this paper, which generates links between similar VOPs of different shots. Particularly ...
Klimis S. Ntalianis, Nikolaos D. Doulamis, Anastas...