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...
In this paper, we propose a linguistically annotated reordering model for BTG-based statistical machine translation. The model incorporates linguistic knowledge to predict orders ...
This paper presents strategies and lessons learned from the use of natural language annotations to facilitate question answering in the START information access system.
: 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....
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...