In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables byâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

Meteor 1.3: Automatic Metric for Reliable Optimization and Evaluation of Machine Translation Systems

- Michael J. Denkowski, Alon Lavie
- WMT@EMNLP
- 2011

This paper describes Meteor 1.3, our submission to the 2011 EMNLP Workshop on Statistical Machine Translation automaticâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Matthew G. Snover, Nitin Madnani, Bonnie J. Dorr, Richard M. Schwartz
- WMT@EACL
- 2009

Automatic Machine Translation (MT) evaluation metrics have traditionally been evaluated by the correlation of the scores theyâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- R. Billinton, Yi Gao
- IEEE Transactions on Energy Conversion
- 2008

Wind energy is considered to be a very promising alternative for power generation because of its tremendous environmental, socialâ€¦Â (More)

Is this relevant?

2007

2007

- Dov M. Gabbay
- 2007

Consider a partially ordered set(T <,=), where T is non-empty,< is an irreflexive and transitive relation on T and = is equalityâ€¦Â (More)

Is this relevant?

2001

2001

The main goal of the work presented in this paper is to find an inexpensive and automatable way of predicting rankings of MTâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

This technical report presents the main features of Proteum (Program Testing Using Mutants), a testing tool that supportsâ€¦Â (More)

Is this relevant?

1995

1995

- Heinrich Wansing
- Math. Log. Q.
- 1995

In this paper functional completeness results are obtained for certain positive and constructive propositional logics associatedâ€¦Â (More)

Is this relevant?

1992

1992

- Priti Mishra, Margaret H. Dunham
- SIGMOD Record
- 1992

A definition of completeness in the context of Object Oriented Databases (OODBs) is proposed in this paper. It takes into accountâ€¦Â (More)

Is this relevant?

1990

1990

- Francis Jeffry Pelletier, Norman M. Martin
- Notre Dame Journal of Formal Logic
- 1990

The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functionalâ€¦Â (More)

Is this relevant?

1990

1990

- Giuseppe Longo, Eugenio Moggi
- Theor. Comput. Sci.
- 1990

Functional languages are based on the notion of application: programs may be applied to data or programs. By application one mayâ€¦Â (More)

Is this relevant?