Sciweavers

966 search results - page 92 / 194
» Evaluation of Linguistics-Based Translation
Sort
View
CLEF
2009
Springer
15 years 7 months ago
Overview and Results of Morpho Challenge 2009
In the Morpho Challenge 2009 unsupervised algorithms that provide morpheme analyses for words in different languages were evaluated in various practical applications. Morpheme ana...
Mikko Kurimo, Sami Virpioja, Ville T. Turunen, Gra...
STACS
1999
Springer
15 years 10 months ago
The Weakness of Self-Complementation
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
Orna Kupferman, Moshe Y. Vardi

Publication
182views
15 years 8 months ago
Medical Image Registration: interpolations, similarities and optimizations strategies
This paper presents a study conducted for evaluating different interpolation schemes, similarity metrics and optimization algorithms for the purpose of volumetric medical image ...
R. Gallea, E. Ardizzone, R. Pirrone, O. Gambino
ENTCS
2010
122views more  ENTCS 2010»
15 years 3 months ago
Efficient Earley Parsing with Regular Right-hand Sides
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
Trevor Jim, Yitzhak Mandelbaum
VLDB
2002
ACM
84views Database» more  VLDB 2002»
16 years 6 months ago
Views in a large-scale XML repository
We are interested in de ning and querying views in a huge and highly heterogeneous XML repository Web scale. In this context, view de nitions are very large and there is no appare...
Vincent Aguilera, Sophie Cluet, Tova Milo, Pierang...