Sciweavers

4231 search results - page 565 / 847
» Using Language More Responsibly
Sort
View
AI
2001
Springer
15 years 8 months ago
Stratified Partial-Order Logic Programming
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
Mauricio Osorio, Juan Carlos Nieves
LREC
2010
224views Education» more  LREC 2010»
15 years 6 months ago
Construction of Chunk-Aligned Bilingual Lecture Corpus for Simultaneous Machine Translation
With the development of speech and language processing, speech translation systems have been developed. These studies target spoken dialogues, and employ consecutive interpretatio...
Masaki Murata, Tomohiro Ohno, Shigeki Matsubara, Y...
NAACL
1994
15 years 6 months ago
Building Japanese-English Dictionary based on Ontology for Machine Translation
This paper describes a semi-automatic method for associating a Japanese lexicon with a semantic concept taxonomy called an ontology, using a Japanese-English bilingual dictionary ...
Akitoshi Okumura, Eduard H. Hovy
SQJ
2008
74views more  SQJ 2008»
15 years 4 months ago
Quantitatively measuring object-oriented couplings
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
Jeff Offutt, Aynur Abdurazik, Stephen R. Schach
ENTCS
2000
112views more  ENTCS 2000»
15 years 4 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato