Refute Questions for Concrete, Cluttered Specifications.

Sannidhi V. Hebbar Sasmita Harini Arun Raman Viraj Kumar

Published in: ICER (2) (2024)

Keyphrases

databases
formal specification
real time
answer questions
delay insensitive
case study
information retrieval
social networks
decision trees
database systems
natural scenes
operational semantics
question answer