Sciweavers

1072 search results - page 21 / 215
» Semantic Evaluation for Spoken-Language Systems
Sort
View
RR
2007
Springer
15 years 3 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
TLCA
2007
Springer
15 years 3 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
PADL
2005
Springer
15 years 3 months ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
Qian Wang, Gopal Gupta, Michael Leuschel
COLING
2010
14 years 4 months ago
Semantic Role Features for Machine Translation
We propose semantic role features for a Tree-to-String transducer to model the reordering/deletion of source-side semantic roles. These semantic features, as well as the Tree-to-S...
Ding Liu, Daniel Gildea
CHI
1999
ACM
15 years 1 months ago
Learning and Performing by Exploration: Label Quality Measured by Latent Semantic Analysis
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
Rodolfo Soto