886 search results - page 104 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...
CVPR
1998
IEEE
16 years 17 hour ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
ICDCSW
2006
IEEE
15 years 4 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
101
click to vote
LCPC
2009
Springer
15 years 2 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...