Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the ļ¬rst stage, the proposed approach identiļ¬es topic th...
Abstract. Over the past ļ¬ve years, the topic of the origins of language is gaining prominence as one of the big unresolved questions of cognitive science. Artiļ¬cial Intelligenc...
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...