Sciweavers

3877 search results - page 359 / 776
» Multiple alignment by aligning alignments
Sort
View
FMCAD
2006
Springer
15 years 10 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
3DIM
2001
IEEE
15 years 10 months ago
Efficient Variants of the ICP Algorithm
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...
Szymon Rusinkiewicz, Marc Levoy
ACL
2008
15 years 8 months ago
A Tree Sequence Alignment-based Tree-to-Tree Translation Model
This paper presents a translation model that is based on tree sequence alignment, where a tree sequence refers to a single sequence of subtrees that covers a phrase. The model lev...
Min Zhang, Hongfei Jiang, AiTi Aw, Haizhou Li, Che...
LREC
2010
136views Education» more  LREC 2010»
15 years 8 months ago
Base Concepts in the African Languages Compared to Upper Ontologies and the WordNet Top Ontology
Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain speci...
Winston Anderson, Laurette Pretorius, Albert E. Ko...
LREC
2008
92views Education» more  LREC 2008»
15 years 8 months ago
Automatic Phone Segmentation of Expressive Speech
In order to improve the flexibility and the precision of an automatic phone segmentation system for a type of expressive speech, the dubbing into French of fiction movies, we deve...
Laure Charonnat, Gaëlle Vidal, Olivier Bo&eum...