7167 search results - page 259 / 1434 » A Technique for Invariant Generation |
202
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
172
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
212
click to vote
ICCV
2009
IEEE
15 years 5 months ago
2009
IEEE
Most motion-based tracking algorithms assume that objects undergo rigid motion, which is most likely disobeyed in real world. In this paper, we present a novel motionbased trackin...
176
click to vote
TIT
2011
15 years 2 months ago
2011
—Channel dispersion plays a fundamental role in assessing the backoff from capacity due to finite blocklength. This paper analyzes the channel dispersion for a simple channel wi...
234
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The construction of low-dimensional models explaining highdimensional signal observations provides concise and efficient data representations. In this paper, we focus on pattern ...