A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking.
Hiroyuki KatsuraNaoki IwayamaNaoki KobayashiTakeshi TsukadaPublished in: APLAS (2020)
Keyphrases
- type checking
- cross media retrieval
- information retrieval
- fully automated
- semi automated
- text retrieval
- data sets
- text information
- automatically extracted
- text summarization
- textual data
- computer aided
- text mining
- special case
- semi automatic
- web documents
- semi supervised
- information extraction
- data structure
- case study
- refinement process
- keywords