Sciweavers

189 search results - page 7 / 38
» Tag machines
Sort
View
CADE
2008
Springer
14 years 8 months ago
Bitfields and Tagged Unions in C: Verification through Automatic Generation
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
David Cock
AAAI
2006
13 years 9 months ago
Semantic Tagging at the Sense Level
This paper summarizes our research in the area of semantic tagging at the word and sense levels and sets the ground for a new approach to text-level sentiment annotation using a c...
Alina Andreevskaia, Sabine Bergler
IJCNLP
2004
Springer
14 years 1 months ago
Word Sense Disambiguation Using Heterogeneous Language Resources
This paper proposes a robust method for word sense disambiguation of Japanese. We combined several classifiers using heterogeneous language resources, a machine readable dictiona...
Kiyoaki Shirai, Takayuki Tamagaki
CORR
2000
Springer
109views Education» more  CORR 2000»
13 years 8 months ago
Bootstrapping a Tagged Corpus through Combination of Existing Heterogeneous Taggers
This paper describes a new method, COMBI-BOOTSTRAP, to exploit existing taggers and lexical resources for the annotation of corpora with new tagsets. COMBI-BOOTSTRAP uses existing...
Jakub Zavrel, Walter Daelemans
IJIT
2004
13 years 9 months ago
A Hybrid Model for Part-of-Speech Tagging and its Application to Bengali
This paper describes our work on Bengali Part of Speech (POS) tagging using a corpus-based approach. There are several approaches for part of speech tagging. This paper deals with ...
Sandipan Dandapat, Sudeshna Sarkar, Anupam Basu