118 search results - page 15 / 24 » An Iterative Algorithm for Synthesizing Invariants |
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interation time of processes and thus...
FGR
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract— This paper proposes a sparsity driven shape registration method for occluded facial feature localization. Most current shape registration methods search landmark locati...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we investigate the usage of persistent point feature histograms for the problem of aligning point cloud data views into a consistent global model. Given a collect...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Super-resolution reconstruction algorithms assume the availability of exact registration and blur parameters. Inaccurate estimation of these parameters adversely affects the quali...