Sciweavers

1427 search results - page 50 / 286
» Learning with Annotation Noise
Sort
View
CAV
2010
Springer
176views Hardware» more  CAV 2010»
15 years 6 days ago
Lazy Annotation for Program Testing and Verification
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
Kenneth L. McMillan
ACL
2008
14 years 11 months ago
A Linguistically Annotated Reordering Model for BTG-based Statistical Machine Translation
In this paper, we propose a linguistically annotated reordering model for BTG-based statistical machine translation. The model incorporates linguistic knowledge to predict orders ...
Deyi Xiong, Min Zhang, AiTi Aw, Haizhou Li
FLAIRS
2006
14 years 11 months ago
Natural Language Annotations for Question Answering
This paper presents strategies and lessons learned from the use of natural language annotations to facilitate question answering in the START information access system.
Boris Katz, Gary C. Borchardt, Sue Felshin
WEBNET
1998
14 years 11 months ago
An Experiment Using Document Annotations in Education
: This paper describes an on-going experiment at the Swiss Federal Institute of Technology in Lausanne regarding the use of Web based document annotations for educational purposes....
Francis Lapique, Gil Regev
CVPR
2009
IEEE
16 years 4 months ago
A Revisit of Generative Model for Automatic Image Annotation using Markov Random Fields
Much research effort on Automatic Image Annotation (AIA) has been focused on Generative Model, due to its well formed theory and competitive performance as compared with many we...
Yu Xiang (Fudan University), Xiangdong Zhou (Fudan...