465 search results - page 51 / 93 » Split variational inference |
FGR
2008
IEEE
15 years 5 months ago
2008
IEEE
Active shape model (ASM) statistically represents a shape by a set of well-defined landmark points and models object variations using principal component analysis (PCA). However, ...
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
109
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
Although a considerable amount of work has been published on material classification, relatively little of it studies situations with considerable variation within each class. Man...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a framework for detecting and tracking multiple interacting objects, while explicitly handling the dual problems of fragmentation (an object may be broken into several ...
CADE
2005
Springer
15 years 11 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...