A Language for Verification and Manipulation of Web Documents.
Luigi LiquoriFurio HonsellRekha RedamallaPublished in: WWV (2005)
Keyphrases
- web documents
- information extraction
- semi structured
- web pages
- document classification
- web search engines
- keywords
- html documents
- natural language
- link structure
- vector space model
- web data
- web content
- document representation
- model checking
- topic specific
- focused crawling
- knowledge discovery
- search engine
- unstructured documents
- social annotations
- content similarity
- data mining
- web directories
- domain specific
- machine learning