Verification and normalization of sentences.

Marco Costa José Neves Orlando Sousa Simas Santos

Published in: ICAIL (1999)

Keyphrases

model checking
natural language
formal verification
sentence retrieval
signature verification
preprocessing
multi document summarization
text summarization
sentence level
normalization method
parse tree
sentence similarity
verification method
asynchronous circuits
neural network
temporal logic
training data