Verification of Novel Summarization in Arousing Reading Interests.

Hiroya Toyama Junjie Shan Yoko Nishihara

Published in: HCI (59) (2024)

Keyphrases

model checking
face verification
text summarization
multi document summarization
real time
verification method
asynchronous circuits
user profiles
personalized recommendation
user interests
search engine
formal analysis
formal verification
data sets
database
note taking
functional verification