research
∙
02/19/2023
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
An increasing number of monitoring systems have been developed in smart ...
share
research
∙
10/11/2022
Bil-DOS: A Bi-lingual Dialogue Ordering System (for Subway)
Due to the unfamiliarity to particular words(or proper nouns) for ingred...
research
∙
10/11/2022
Applying FrameNet to Chinese(Poetry)
FrameNet( Fillmore and Baker [2009] ) is well-known for its wide use for...
research
∙
06/14/2022
An Intelligent Assistant for Converting City Requirements to Formal Specification
As more and more monitoring systems have been deployed to smart cities, ...
research
∙
06/07/2022
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
An increasing number of monitoring systems have been developed in smart ...
research
∙
03/25/2018
