Sciweavers

389 search results - page 14 / 78
» A Correspondence Metric for Imitation
Sort
View
LREC
2010
160views Education» more  LREC 2010»
14 years 11 months ago
Contrastive Lexical Evaluation of Machine Translation
This paper advocates a complementary measure of translation performance that focuses on the constrastive ability of two or more systems or system versions to adequately translate ...
Aurélien Max, Josep Maria Crego, Fran&ccedi...
CHARME
2003
Springer
97views Hardware» more  CHARME 2003»
15 years 1 months ago
Coverage Metrics for Formal Verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
COMPGEOM
2011
ACM
14 years 1 months ago
Metric graph reconstruction from noisy data
Many real-world data sets can be viewed of as noisy samples of special types of metric spaces called metric graphs [16]. Building on the notions of correspondence and GromovHausdo...
Mridul Aanjaneya, Frédéric Chazal, D...
VISUALIZATION
1999
IEEE
15 years 1 months ago
New Quadric Metric for Simplifying Meshes with Appearance Attributes
Complex triangle meshes arise naturally in many areas of computer graphics and visualization. Previous work has shown that a quadric error metric allows fast and accurate geometri...
Hugues Hoppe
SIAMJO
2010
85views more  SIAMJO 2010»
14 years 8 months ago
Metric Subregularity and Calmness for Nonconvex Generalized Equations in Banach Spaces
This paper concerns a generalized equation defined by a closed multifunction between Banach spaces, and we employ variational analysis techniques to provide sufficient and/or nece...
Xi Yin Zheng, Kung Fu Ng