Sciweavers

615 search results - page 42 / 123
» step 2003
Sort
View
ICDE
2003
IEEE
134views Database» more  ICDE 2003»
15 years 11 months ago
Propagating XML Constraints to Relations
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
Susan B. Davidson, Wenfei Fan, Carmem S. Hara, Jin...
77
Voted
ICPR
2002
IEEE
15 years 10 months ago
On the Preview of Digital Movies
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
Liang-Hua Chen, Chih-Wen Su, Hong-Yuan Mark Liao, ...
DAC
2003
ACM
15 years 10 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
MICCAI
2003
Springer
15 years 10 months ago
Statistical Shape Modeling of Unfolded Retinotopic Maps for a Visual Areas Probabilistic Atlas
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
Isabelle Corouge, Michel Dojat, Christian Barillot
MICCAI
2003
Springer
15 years 10 months ago
User-Defined B-Spline Template-Snakes
We combine a new user initialization process with a B-spline snake to create a model with the properties of a deformable template. This `template' snake can be constrained by ...
Tim McInerney, Hoda Dehmeshki