grammar transformation - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 11949

2013

Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:

2012

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2012.

A Theory of Software Product Line RefinementPaulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]

A transformation-based approach to context-aware modellingDegrandsart, Sylvain, Demeyer, Serge, Van den Bergh, Jan, Tom Mens. SoSyM, , 2012. [doi]

Methods and Techniques for the Design and Implementation of Domain-Specific LanguagesZef Hemel. PhD thesis, Delft University of Technology, Delft, The Netherlands, January 2012.

Cornish-Fisher expansions using sample cumulants and monotonic transformationsHaruhiko Ogasawara. ma, 103(1):1-18, 2012. [doi]

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. Software and Systems Modeling (Preprint) 2012.

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

Reversible Implementation of a Discrete Integer Linear TransformationAlexis De Vos, Stéphane Burignat, Michael Kirkedal Thomsen. mvl, 18(1):25-35, 2012. [doi]

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic DefinitionsVadim Zaytsev. In Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012). 2012: 1910-1915 [doi]

2011

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2011.

Towards Style Transformation from Written-Style to Audio-StyleAmjad Abu-Jbara, Barbara Rosario, Kent Lyons. acl 2011: 248-253 [doi]

::::LR::::(0) Conjunctive Grammars and Deterministic Synchronized Alternating Pushdown AutomataTamar Aizikowitz, Michael Kaminski. csr 2011: 345-358 [doi]

Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected PapersMaría Alpuente, editor, Volume 6564 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2D similarity transformations on multi-touch surfacesBehrooz Ashtiani, Wolfgang Stürzlinger. graphicsinterface 2011: 57-64 [doi]

E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected PapersGilbert Babin, Katarina Stanoevska-Slabeva, Peter Kropf, editors, Volume 78 of Lecture Notes in Business Information Processing, Springer, 2011. [doi]

Attribute Grammars as Recursion Schemes over Cyclic Representations of ZippersEric Badouel, Bernard Fotsing, Rodrigue Tchougong. ENTCS, 229(5):39-56, 2011. [doi]

Combining Specification-based and Code-based Coverage for Model Transformation ChainsEduard Bauer, Jochen Kuester. ICMT 2011: 78-92

Combining Specification-Based and Code-Based Coverage for Model Transformation ChainsEduard Bauer, Jochen Malte Küster. ICMT 2011: 78-92 [doi]

Classifying Melodies Using Tree GrammarsJosé Francisco Bernabeu, Jorge Calera-Rubio, José Manuel Iñesta Quereda. ibpria 2011: 572-579 [doi]

A transformation contract to generate aspects from access control policiesChristiano Braga. SoSyM, 10(3):395-409, 2011. [doi]

Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued LanguagesDenis Béchet, Alexandre Ja. Dikovsky, Annie Foret. wia 2011: 42-52 [doi]

A program transformation for returning states in functional-logic programsRafael Caballero. PEPM 2011: 111-120 [doi]

Estimating m-regimes STAR-GARCH model using QMLE with parameter transformationFelix Chan, Billy Theoharakis. mcs, 81(7):1385-1396, 2011. [doi]

Program transformations for asynchronous query submissionMahendra Chavan, Ravindra Guravannavar, Karthik Ramachandra, S. Sudarshan. icde 2011: 375-386 [doi]

Asymptotic expansions for the Bessel transformations with high oscillations by using the homotopy techniqueRuyun Chen, Ximing Liang. ijcm, 88(13):2872-2887, 2011. [doi]

Issues Concerning Decoding with Synchronous Context-free GrammarTagyoung Chung, Licheng Fang, Daniel Gildea. acl 2011: 413-417 [doi]

On the Complexity of Szilard Languages of Regulated GrammarsLiliana Cojocaru, Erkki Mäkinen. ictac 2011: 77-94 [doi]

Quasi-Linear Transformations, Numeration Systems and FractalsMarie-Andrée Jacob-Da Col, Pierre Tellier. dgci 2011: 187-198 [doi]

Spin transformations of discrete surfacesKeenan Crane, Ulrich Pinkall, Peter Schröder. tog, 30(4):104, 2011. [doi]

On the Number of Components and Clusters of Non-returning Parallel Communicating Grammar SystemsErzsébet Csuhaj-Varjú, György Vaszil. dcfs 2011: 121-134 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, 76(6):516-539, 2011. [doi]

A new hypergeometric transformation of the Rathie-Rakha typeDjurdje Cvijovic. appml, 24(3):340-343, 2011. [doi]

And-Or Graph Grammar for Architectural Floor Plan Representation, Learning and Recognition. A Semantic, Structural and Hierarchical ModelLluís-Pere de las Heras, Gemma Sánchez. ibpria 2011: 17-24 [doi]

On the Vocabulary of Grammar-Based Codes and the Logical Consistency of TextsLukasz Debowski. TIT, 57(7):4589-4599, 2011. [doi]

Numerical Computation of the Schwarz-Christoffel Transformation for Multiply Connected DomainsThomas K. DeLillo, Everett H. Kropf. siamsc, 33(3):1369-1394, 2011. [doi]

A Study of Color Space Transformation Method Using Nonuniform Segmentation of Color Space SourceJiabin Deng, Juanli Hu, Juebo Wu. jcp, 6(2):288-296, 2011. [doi]

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric CaseZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki. jot, 10, 2011. [doi]

Two-dimensional q-differential transformation and its applicationMoustafa El-Shahed, Mohammed Gaber. amc, 217(22):9165-9172, 2011. [doi]

Transdisciplinary Perspectives on Environmental Sustainability: A Resource Base and Framework for IT-Enabled Business TransformationSteve Elliot. misq, 35(1):197-236, 2011. [doi]

Open innovation and public administration: transformational typologies and business model impactsJoseph Feller, Patrick Finnegan, Olof Nilsson. ejis, 20(3):358-374, 2011. [doi]

Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised PapersJoao M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 6491 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Computational Aspects of Lexical Functional GrammarMartin Forst. llc, 5(1):1-18, 2011. [doi]

Erratum to: Grammar Induction by Unification of Type-logical LexiconsSean A. Fulop. jolli, 20(1):135-136, 2011. [doi]

Yield grammar analysis in the Bellman s GAP compilerRobert Giegerich, Georg Sauthoff. LDTA 2011: 7 [doi]

Grammar Factorization by Tree DecompositionDaniel Gildea. coling, 37(1):231-248, 2011. [doi]

Relationship and role transformations in social media environmentsHazel Hall. el, 29(4):421-428, 2011. [doi]

Incremental Combinatory Categorial Grammar and Its DerivationsAhmed Hefny, Hany Hassan, Mohamed Bahgat. cicling 2011: 96-108 [doi]

Grammar-based test generation with YouGenDaniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang. SPE, 41(4):427-447, 2011. [doi]

Using standards to enable the transformation to smarter citiesJohn Hogan, J. Meegan, Rashik Parmar, V. Narayan, Robert J. Schloss. ibmrd, 55(1):4, 2011. [doi]

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197 [doi]

Brief announcement: locality-enhancing loop transformations for tree traversal algorithmsYoungjoon Jo, Milind Kulkarni. spaa 2011: 263-264 [doi]

A grammar-based model for the semantic webHyosook Jung, Seongbin Park. comsis, 8(1):73-100, 2011. [doi]

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree GrammarsStephan Kepser, Jim Rogers. jolli, 20(3):361-384, 2011. [doi]

Model-Driven Development of Service Compositions for Enterprise InteroperabilityRavi Khadka, Brahmananda Sapkota, Luis Ferreira Pires, Marten van Sinderen, Slinger Jansen. In Enterprise Interoperability. Volume 76 of LNBIP, pages 177-190, Springer, 2011.

R2O: Relation to Ontology Transformation SystemSharifullah Khan, Kiran Sonia. jikm, 10(1):71-89, 2011. [doi]

Cardiac myocyte model parameter sensitivity analysis and model transformation using a genetic algorithmArmen Kherlopian, Francis A. Ortega, David J. Christini. gecco 2011: 755-758 [doi]

Transformation Equivariant Boltzmann MachinesJyri J. Kivinen, Christopher K. I. Williams. icann 2011: 1-9 [doi]

Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree GrammarsJonathan Kochems, C.-H. Luke Ong. RTA 2011: 187-202 [doi]

High-order center-frequency adaptive filters using block-diagram-based frequency transformationShunsuke Koshita, Yuki Kumamoto, Masahide Abe, Masayuki Kawamata. icassp 2011: 4284-4287 [doi]

Parallel Graph Transformations Supported by Replicated Complementary GraphsLeszek Kotulski, Adam Sedziwy. icannga 2011: 254-264 [doi]

Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computingHans-Jörg Kreowski, Sabine Kuske. nc, 10(2):961-986, 2011. [doi]

Democratising technology: making transformation using designing, performance and propsAnn Light. CHI 2011: 2239-2242 [doi]

Policy Invariance under Reward Transformations for General-Sum Stochastic GamesXiaosong Lu, Howard M. Schwartz, Sidney Nascimento Givigi. jair, 41:397-406, 2011. [doi]

Optimal Inversion of the Anscombe Transformation in Low-Count Poisson Image DenoisingMarkku Makitalo, Alessandro Foi. TIP, 20(1):99-109, 2011. [doi]

Uniform RECA Transformations in Rough Extended Clustering FrameworkDariusz Malyszko, Jaroslaw Stepaniuk. aciids 2011: 110-119 [doi]

Debugging in domain-specific modellingMannadiar, Raphael, Hans Vangheluwe. In Proceedings of the Third international conference on Software language engineering. 2011: 276-285

The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stabilityHerwig Mannaert, Jan Verelst, Kris Ven. SCP, 76(12):1210-1222, 2011. [doi]

Procedural 3D Building Reconstruction Using Shape Grammars and DetectorsMarkus Mathias, Andelo Martinovic, Julien Weissenberg, Luc J. Van Gool. 3dim 2011: 304-311 [doi]

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming languageSteffen Mazanek, Michael Hanus. JCL (JVLC), 22(1):66-89, 2011. [doi]

Transformation: next generation technical services at the University of California LibrariesNorm Medeiros. oclc, 27(1):6-9, 2011. [doi]

Image Decompositions and Transformations as Peaks and WellsFernand Meyer. ismm 2011: 25-36 [doi]

Stepwise evaluation of attribute grammarsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. LDTA 2011: 5 [doi]

Forcing as a Program TransformationAlexandre Miquel. lics 2011: 197-206 [doi]

The Transformation of Second-Order Linear Systems into Independent EquationsMatthias Morzfeld, Fai Ma, Beresford N. Parlett. siamam, 71(4):1026-1043, 2011. [doi]

Secure Public-Key Encryption from Random Oracle TransformationMototsugu Nishioka, Naohisa Komatsu. ieicet, 94-A(4):1091-1105, 2011. [doi]

Data set preprocessing and transformation in a database systemCarlos Ordonez. ida, 15(4):613-631, 2011. [doi]

Calculating with lenses: optimising bidirectional transformationsHugo Pacheco, Alcino Cunha. PEPM 2011: 91-100 [doi]

From Grammars and Automata to Algebras and CoalgebrasPeter Padawitz. cai 2011: 21-43 [doi]

Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th BirthdaySylvain Pogodalla, Myriam Quatrini, Christian Retoré, editors, Volume 6700 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Covert Movement in Logical GrammarCarl Pollard. BIRTHDAY 2011: 17-40 [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

On the possible patterns of inputs for block sorting in the Burrows-Wheeler transformationTakashi Saso, Kojiro Kobayashi, Atsuyoshi Nakamura. ipl, 111(12):595-599, 2011. [doi]

An Evaluation of the Graphical Modeling Framework (GMF) based on the Development of the CORAS ToolFredrik Seehusen, Atle Refsdal, Ketil Stølen. ICMT 2011: 152-166

Autotuning in an Array Processing Language using High-level Program TransformationsYusuke Shirota, Jun ichi Segawa, Masaya Tarui, Tatsunori Kanai. procedia, 4:2126-2135, 2011. [doi]

Tree Transformation through Vertex Contraction with Application to SkeletonsArseny Smirnov, Kira Vyatkina. iccsa 2011: 94-106 [doi]

On the Transformation of Grounded inductors to Floating inductors Using ofa and FcciiAhmed M. Soliman. jcsc, 20(2):243-262, 2011. [doi]

Online tax payment systems as an emergent aspect of governmental transformationThomas F. Stafford, Aykut Hamit Turan. ejis, 20(3):343-357, 2011. [doi]

Parsing reflective grammarsPaul Stansifer, Mitchell Wand. LDTA 2011: 10 [doi]

Multithreaded comparative RNA secondary structure prediction using stochastic context-free grammarsZsuzsanna Sukosd, Bjarne Knudsen, Morten Vaerum, Jorgen Kjems, Ebbe Sloth Andersen. bmcbi, 12:103, 2011. [doi]

Effects of sensorimotor transformations with graphical input devicesChristine Sutter, Jochen Müsseler, Laszlo Bardos. behaviourIT, 30(3):415-424, 2011. [doi]

Towards Modular Development of Typed Unification GrammarsYael Sygal, Shuly Wintner. coling, 37(1):29-74, 2011. [doi]

Learning Relation Extraction Grammars with Minimal Human Intervention: Strategy, Results, Insights and PlansHans Uszkoreit. cicling 2011: 106-126 [doi]

Performance in Model Transformations: A Comparison Between ATL and QVT Marcel van Amstel, Steven Bosems, Luis Ferreira Pires, Ivan Kurtev. ICMT 2011: 198-212

Application of the differential transformation method to bifurcation and chaotic analysis of an AFM probe tipCheng Chi Wang, Her-Terng Yau. cma, 61(8):1957-1962, 2011. [doi]

Deriving a Slicing Algorithm via FermaT TransformationsMartin P. Ward, Hussein Zedan. TSE, 37(1):24-47, 2011. [doi]

eBirding: technology adoption and the transformation of leisure into scienceAndrea Wiggins. iconference 2011: 798-799 [doi]

Quantitative structural information for inferring context free grammars with an extended Cocke-Younger-Kasami algorithmMing-Heng Zhang. prl, 32(6):860-865, 2011. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: grammar transformation

Viewing Publication 1 - 100 from 11949

2013

2012

2011

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: grammar transformation

Viewing Publication 1 - 100 from 11949

2013

2012

2011

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1