Sciweavers

517 search results - page 41 / 104
» Translation in XBRL standardization
Sort
View
CP
2007
Springer
15 years 1 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
Hélène Collavizza, Michel Rueher
CAISE
2006
Springer
14 years 11 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
COLING
2008
14 years 11 months ago
ParaMetric: An Automatic Evaluation Metric for Paraphrasing
We present ParaMetric, an automatic evaluation metric for data-driven approaches to paraphrasing. ParaMetric provides an objective measure of quality using a collection of multipl...
Chris Callison-Burch, Trevor Cohn, Mirella Lapata
JNW
2008
103views more  JNW 2008»
14 years 9 months ago
Key Revocation System for DNSSEC
Abstract-- The Domain Name System (DNS) is a distributed tree-based database largely used to translate a human readable machine name into an IP address. The DNS security extensions...
Gilles Guette
ACL
2010
14 years 7 months ago
Phylogenetic Grammar Induction
We present an approach to multilingual grammar induction that exploits a phylogeny-structured model of parameter drift. Our method does not require any translated texts or token-l...
Taylor Berg-Kirkpatrick, Dan Klein