Sciweavers

389 search results - page 14 / 78
» A Correspondence Metric for Imitation
Sort
View
LREC
2010
160views Education» more  LREC 2010»
15 years 2 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 5 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 4 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 5 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 11 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