6978 search results - page 333 / 1396 » Reframing Requirements Analysis |
186
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
148
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
The main computational cost in Fractal Image Analysis (FIC) comes from the required range-domain full block comparisons. In this work we propose a new algorithm for this comparison...
152
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we analyse mathematical properties of spatial optical-flow computation algorithm. First by numerical analysis, we derive the convergence property on variational opti...
182
Voted
BMVC
2001
15 years 9 months ago
2001
The HLS colour space is widely used in image analysis as it is physically intuitive. As the hue component of this space is defined on the unit circle, standard greyscale image an...
188
click to vote
WICON
2008
15 years 8 months ago
2008
In this paper we compare different authentication techniques that may be used in order to reduce the time and resources required to perform a handover: namely, re-authentication a...