The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
We present in this paper a comparison between three segmentation systems for the Vietnamese language. Indeed, the majority of Vietnamese words is built by semantic composition fro...
Quang Thang Dinh, Hong Phuong Le, Thi Minh Huyen N...
We study the use of rich syntax-based statistical models for generating grammatical case for the purpose of machine translation from a language which does not indicate case explic...