Formal Methods of Tokenization for Part-of-Speech Tagging.
Jorge GrañaFrancisco-Mario BarcalaJesús Vilares FerroPublished in: CICLing (2002)
Keyphrases
- formal methods
- named entities
- natural language processing
- noun phrases
- knowledge based systems
- formal analysis
- artificial intelligence
- model checking
- chinese word segmentation
- morphological analysis
- safety critical
- biomedical text
- formal specification
- dependency parsing
- provably correct
- part of speech
- biomedical information retrieval
- model checker
- process algebra
- software engineering
- pos tagging
- reactive systems
- expert systems
- n gram
- text mining
- belief revision
- machine translation
- wordnet
- information extraction
- data model
- formal specification language