Sciweavers

1715 search results - page 120 / 343
» How Space Structures Language
Sort
View
116
Voted
ACL
2010
15 years 1 months ago
Learning to Translate with Source and Target Syntax
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...
David Chiang
97
Voted
JLP
2010
59views more  JLP 2010»
14 years 10 months ago
The proof monad
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
Florent Kirchner, César Muñoz
137
Voted
JVA
2006
IEEE
15 years 9 months ago
Describing and Researching of Learning Resources with Ontology Model
In this paper, we will introduce to describe learning resources by using ontology model based on metadata of learning standard as Sharable Content Object Reference Model (SCORM) a...
S. Niwattanakul, M. Eboueya, D. Lillis
127
Voted
SC
1993
ACM
15 years 7 months ago
Dynamic data distributions in Vienna Fortran
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
Barbara M. Chapman, Piyush Mehrotra, Hans Moritsch...
120
Voted
ACL
1989
15 years 5 months ago
The Effects of Interaction on Spoken Discourse
Near-term spoken language systems willlikely be limited in their interactive capabilities. To design them, we shall need to model how the presence or absence of speaker interactio...
Sharon L. Oviatt, Philip R. Cohen