1953 search results - page 52 / 391 » Embedded Probabilistic Programming |
122
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We propose a spectral learning approach to shape segmentation. The method is composed of a constrained spectral clustering algorithm that is used to supervise the segmentation of a...
112
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
100
click to vote
PCM
2004
Springer
15 years 7 months ago
2004
Springer
The performance of a Content-Based Image Retrieval (CBIR) system presented in the form of Precision-Recall or PrecisionScope graphs offers an incomplete overview of the system und...
110
click to vote
BMVC
1998
15 years 3 months ago
1998
The segmentation of pixels belonging to different moving elements within a cinematographic image sequence underpins a range of post-production special effects. In this work, the s...
125
click to vote
ARCS
2005
Springer
15 years 7 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...