Sciweavers

130 search results - page 7 / 26
» Making Semantic Interpretation Parser-Independent
Sort
View
JODL
2000
124views more  JODL 2000»
14 years 11 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue
LREC
2010
224views Education» more  LREC 2010»
15 years 1 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...
POPL
2004
ACM
15 years 12 months ago
Symbolic transfer function-based approaches to certified compilation
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
Xavier Rival
EKAW
2004
Springer
15 years 5 months ago
Semantic Webs for Learning: A Vision and Its Realization
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
Arthur Stutt, Enrico Motta
CORR
2006
Springer
121views Education» more  CORR 2006»
14 years 11 months ago
Elgot Algebras
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
Jirí Adámek, Stefan Milius, Jiri Vel...