Sciweavers

4355 search results - page 42 / 871
» From Interpretation to Compilation
Sort
View

Publication
135views
13 years 11 months ago
Arity Raiser and its Use in Program Specialization
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
Sergei A. Romanenko
JUCS
2008
182views more  JUCS 2008»
13 years 10 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
ACL
1998
13 years 11 months ago
Robust Interaction through Partial Interpretation and Dialogue Management
In this paper we present results on developing robust natural language interfaces by combining shallowand partialinterpretationwith dialoguemanagement. The key issue is to reduce ...
Arne Jönsson, Lena Strömbäck
VSTTE
2005
Springer
14 years 3 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
LREC
2010
224views Education» more  LREC 2010»
13 years 11 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...