Concept
Predicate (grammar)
Related publications (5)
What is the role of ethics in accreditation guidelines for engineering programmes in Europe?
The Washington Accord emphasises the role of ethical and societal considerations in the practice of engineering. Increasingly, national accrediting bodies are also expecting to see evidence in the delivery and assessment of ethics throughout engineering pr ...
Technische Universität Berlin2021SMT-Based Checking of Predicate-Qualified Types for Scala
Viktor Kuncak, Georg Stefan Schmid
We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...
Assoc Computing Machinery2016Discourse-level features for statistical machine translation
Machine Translation (MT) has progressed tremendously in the past two decades. The rule-based and interlingua approaches have been superseded by statistical models, which learn the most likely translations from large parallel corpora. System design does not ...
EPFL2015Discourse-level Features for Statistical Machine Translation
Machine Translation (MT) has progressed tremendously in the past two decades. The rule-based and interlingua approaches have been superseded by statistical models, which learn the most likely translations from large parallel corpora. System design does not ...
École Polytechnique Fédérale de Lausanne (EPFL)2014