422 search results - page 19 / 85 » On Modal Refinement and Consistency |
119
click to vote
TVLSI
2008
15 years 4 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
123
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Motion estimation (ME) methods based on differential techniques provide useful information for video analysis, and moreover it is relatively easy to embed into them regularity con...
119
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we proposed a fast and accurate human pose estimation framework that combines top-down and bottom-up methods. The framework consists of an initialization stage and a...
127
click to vote
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Image registration is the process of establishing a common geometric reference frame between two or more data sets from the same or different imaging modalities possibly taken at ...
150
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...