We present a new method for discovering a segmental discourse structure of a document while categorizing each segment's function and importance. Segments are determined by a ...
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
Results diversification is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...