Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
In this paper, we present the tools standardized by MPEG-7 for describing the semantics of multimedia. In particular, we the Abstraction Model, entities, attributes and relations ...
A. Murat Tekalp, Ahmet Ekin, Alesandro Bugatti, An...
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...
Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Stee...
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...