1636 search results - page 302 / 328 » Type-Theoretic Functional Semantics |
100
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
102
click to vote
IJCAI
2007
15 years 1 months ago
2007
The goal of transfer learning is to use the knowledge acquired in a set of source tasks to improve performance in a related but previously unseen target task. In this paper, we pr...
FOIS
2006
15 years 1 months ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
123
click to vote
ANLP
2000
15 years 1 months ago
2000
JAVOX provides a mechanism for the development of spoken-language systems from existing desktop applications. We present an architecture that allows existing Java1 programs to be ...