Concept
Prédicat (linguistique)
Publications associées (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)2014Symbolic Proof of CTL Formulae over Petri Nets
We present a method for proving properties of Petri nets expressed in the branching time temporal logic CTL. The framework of CTL formulae, viewed through the notions of predicates and predicate transformers in the context of Petri nets, is also presented. ...
1993