Sciweavers

1162 search results - page 35 / 233
» Monotonic Semantic Interpretation
Sort
View
ESOP
2010
Springer
15 years 2 months ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
CIE
2008
Springer
15 years 21 days ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
NIPS
2008
15 years 4 days ago
Interpreting the neural code with Formal Concept Analysis
We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explor...
Dominik Endres, Peter Földiák
LREC
2010
224views Education» more  LREC 2010»
15 years 5 days 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...
ICTAI
2007
IEEE
15 years 5 months ago
Ontology-Based Object Recognition for Remote Sensing Image Interpretation
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
Nicolas Durand, Sébastien Derivaux, Germain...