PVSio-web 2.0: Joining PVS to HCI.
Paolo MasciPatrick OladimejiYi ZhangPaul L. JonesPaul CurzonHarold W. ThimblebyPublished in: CAV (1) (2015)
Keyphrases
- human computer interaction
- website
- web applications
- semantic web
- web documents
- web content
- web scale
- link analysis
- web data
- linked data
- web pages
- theorem proving
- web mining
- web technologies
- data sets
- web information retrieval
- knowledge representation
- web users
- query language
- relational databases
- information space
- human factors