We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
We show that the class of string languages generated by linear context-free rewriting systems is equal to the class of output languages of deterministic treewalking transducers. F...
Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
Ontology-based web portal generation and management is an active field of research and development. Recently, many systems have been developed. However, many of them lack the inte...
Chenxi Lin, Lei Zhang, Jian Zhou, Yin Yang, Yong Y...
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...