Sciweavers

1736 search results - page 321 / 348
» Semantic Annotation for Java
Sort
View
FM
2008
Springer
192views Formal Methods» more  FM 2008»
13 years 10 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
ACL
2007
13 years 10 months ago
Opinion Mining using Econometrics: A Case Study on Reputation Systems
Deriving the polarity and strength of opinions is an important research topic, attracting significant attention over the last few years. In this work, to measure the strength and...
Anindya Ghose, Panagiotis G. Ipeirotis, Arun Sunda...
LREC
2010
145views Education» more  LREC 2010»
13 years 10 months ago
A Fact-aligned Corpus of Numerical Expressions
We describe a corpus of numerical expressions, developed as part of the NUMGEN project. The corpus contains newspaper articles and scientific papers in which exactly the same nume...
Sandra Williams, Richard Power
LREC
2010
170views Education» more  LREC 2010»
13 years 10 months ago
A Speech Corpus for Modeling Language Acquisition: CAREGIVER
A multi-lingual speech corpus used for modeling language acquisition called CAREGIVER has been designed and recorded within the framework of the EU funded Acquisition of Communica...
Toomas Altosaar, Louis ten Bosch, Guillaume Aimett...
LREC
2010
147views Education» more  LREC 2010»
13 years 10 months ago
Named Entity Recognition in Questions: Towards a Golden Collection
Named Entity Recognition (NER) plays a relevant role in several Natural Language Processing tasks. Question-Answering (QA) is an example of such, since answers are frequently name...
Ana Cristina Mendes, Luísa Coheur, Paula Va...