Search results for "rewriting"
showing 9 items of 39 documents
Natural Limits and other stories/Limiti naturali e altre storie
2014
Il volume Natural Limits and other stories/Limiti naturali e altre storie costituisce la prima edizione italiana dei racconti di cinque dell'autrice britannica Marina Warner, con testo a fronte e introduzione critica.
Sexuality and Translation: Rewriting Identities and Desires
2018
Abstract This chapter offers a panorama of research on sexuality and translation, a promising field of research still underexamined. Two directions are identified: the translation of sexuality and the sexualization of translation. The cooperation between disciplines has generated a number of new areas of study, including erotic/pornographic translation, (self)censorship in translation, and gay/queer translation. These promising lines of inquiry are briefly presented, and a few examples of analyses are added. Though much more work is needed, the critical alliance of translation and sexuality seems to be offering valuable insights into the ideological construction of a given society, particul…
Application of graph grammars in music composing systems
1987
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
2005
Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…
Retorica dello spazio: il caso della street art
2014
La street art è un fenomeno capillare che si dispiega negli spazi urbani con stili e forme diverse. L’intervento prende in esame alcune operazioni artistiche analizzando le strategie retoriche utilizzate. Ricorrendo a diversi regimi di visibilità e utilizzando l’apostrofe, l’iperbole o ancora il camouflage gli artisti creano narrazioni imprevedibili e sollecitano continuamente l’attenzione del fruitore. Gli interventi di street art possono così considerarsi come campi di manovra che instaurano nello spazio urbano conflitti, sfide o complicità con i fruitori e in tal senso si rivela opportuno soffermarsi sui casi di riscrittura o di cancellazione delle opere.
Adding Knowledge Extracted by Association Rules into Similarity Queries
2010
International audience; In this paper, we propose new techniques to improve the quality of similarity queries over image databases performing association rule mining over textual descriptions and automatically extracted features of the image content. Based on the knowledge mined, each query posed is rewritten in order to better meet the user expectations. We propose an extension of SQL aimed at exploring mining processes over complex data, generating association rules that extract semantic information from the textual description superimposed to the extracted features, thereafter using them to rewrite the queries. As a result, the system obtains results closer to the user expectation than i…
Kalevalan naiset ja tiedon yöpuoli : Lönnrotin jalanjäljissä kohti Kalevalan naisten tarinoita
2017
My dissertation deals with the most important female figures of the Finnish national epic New Kalevala (1849): Aino, Louhi, Lemminkäinen’s mother and Marjatta. The epic was compiled by Elias Lönnrot (1802–1884) from Karelian and Finnish oral folklore. My reading leans on the intuitive night side of knowledge, which Lönnrot (1832) introduced as a counterpart to the day side of rational knowledge. To illustrate the logic of the night side of knowledge, I analyse Lönnrot as both a collector of oral folklore and a compiler of a work of epic poetry. I propose that Lönnrot’s choice of presenting the Kalevala as an epic – a total work of art – provided the stories of its female characters with the…
An Abstract Generic Framework for Web Site Verification
2008
In this paper, we present an abstract framework for Web site verification which improves the performance of a previous, rewriting-based Web verification methodology. The approximated framework is formalized as a source-to-source transformation which is parametric w.r.t. the chosen abstraction. This transformation significantly reduces the size of the Web documents by dropping or merging contents that do not influence the properties to be checked. This allows us to reuse all verification facilities of the previous system WebVerdi-M to efficiently analyze Web sites. In order to ensure that the verified properties are not affected by the abstraction, we develop a methodology which derives the …
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.