2032 search results - page 294 / 407 » Encodings of the Sequence Constraint |
170
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents the implementation details of a coded structured light system for rapid shape acquisition of unknown surfaces. Such techniques are based on the projection of p...
183
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. In this paper, we propose a generic framework for intersubject non-linear registration of 4D time-series images. In this framework, spatio-temporal registration is define...
160
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
172
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
130
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Interconnect with an insufficient width may be subject to electromigration and eventually cause the failure of the circuit at any time during its lifetime. This problem has gotten...