Sciweavers

189 search results - page 7 / 38
» Tag machines
Sort
View
CADE
2008
Springer
15 years 10 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
14 years 11 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
15 years 2 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»
14 years 9 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
14 years 11 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