The paper presents a visual language that can help users of a context-aware application represent the current situation, or situations they wish detected, in a language that is both formally defined, and readable and understandable by humans and machines alike. Inspired from Regular Expressions, the concept of Extended Concept Pattern provides both conciseness and expressive power, allowing for...

In this paper, we present a technique for efficient extraction of concise and accurate schemas for XML documents. By restricting the schema form and applying some heuristic rules, we achieve the efficiency and conciseness. The result of an experiment with real-life DTDs shows that our approach attains high accuracy and is 20 to 200 times faster than existing approaches.  2002 Elsevier Science ...

This paper explores the use of templates and generics in translating from class diagrams to formal descriptions. It presents an approach for the translation of UML class diagrams into Z, which builds on previous work, correcting problems found in those approaches. This allows a plug-and-play approach to different formalisations of UML semantics. As well as providing rigorous translation, we cla...

This paper describes an unbounded resolution paint system. The image is represented using a bi-orthogonal wavelet basis. The wavelet framework makes it possible to implement the necessary multiscale image operations in an efficient manner and without artifacts. This approach has also many other advantages, including conciseness of the representation. The architecture of the unbounded resolution...

This paper presents a visual approach to the representation and validation of multimedia document structures specified in XML and transformation of one structure to another. The underlying theory of our approach is a context-sensitive graph grammar formalism. The paper demonstrates the conciseness and expressiveness of the graph grammar formalism. An example XML structure is provided and its gr...

This paper presents the main approaches used to synthesize talking faces, and provides greater detail on a handful of these approaches. No system is described exhaustively, however, and, for purposes of conciseness, not all existing systems are reviewed. An attempt is made to distinguish between facial synthesis itself (i.e the manner in which facial movements are rendered on a computer screen)...

The paper deals with the Ukrainian commercial names containing internationaltypographic symbols. Enumeration of international graphic units used in ergonyms is described.The emphasis made on analysis internationalism functions, particular othergrapheme replacement, their symbolic meaning naming process, and use for languageplay effect creating. factors symbol usage are analyzed related to langu...