Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Lukasz Czajka 0001	A Coinductive Confluence Proof for Infinitary Lambda-Calculus.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
17	Henning Christiansen 0001, Maja H. Kirkeby	Confluence Modulo Equivalence in Constraint Handling Rules.	LOPSTR	2014	DBLP DOI BibTeX RDF
17	M. E. Jayasanthi Ranjith, N. J. R. Muniraj	VLSI implementation of novel fast confluence ICA algorithm for signal processing applications.	VDAT	2014	DBLP DOI BibTeX RDF
17	Jeroen Ketema, Jakob Grue Simonsen	Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
17	Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen	Confluence of aspects for sequence diagrams.	Softw. Syst. Model.	2013	DBLP DOI BibTeX RDF
17	Sébastien Konieczny, Ramón Pino Pérez	Confluence operators and their relationships with revision, update and merging.	Ann. Math. Artif. Intell.	2013	DBLP DOI BibTeX RDF
17	Stefan Hetzl, Lutz Straßburger	Herbrand-Confluence.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
17	Denis Berthier	From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E	CoRR	2013	DBLP BibTeX RDF
17	Lukasz Czajka 0001	Confluence of an extension of Combinatory Logic by Boolean Constants.	CoRR	2013	DBLP BibTeX RDF
17	Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge	Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.	Comput.	2013	DBLP DOI BibTeX RDF
17	Anthony Lewis Brooks	Human Computer Confluence in Rehabilitation: Digital Media Plasticity and Human Performance Plasticity.	HCI (8)	2013	DBLP DOI BibTeX RDF
17	Rupert Ortner, David Ram, Alexander Kollreider, Harald Pitsch, Joanna Wojtowicz, Günter Edlinger	Human-Computer Confluence for Rehabilitation Purposes after Stroke.	HCI (19)	2013	DBLP DOI BibTeX RDF
17	Jie Tang 0001, Sen Wu 0001, Jimeng Sun 0001	Confluence: conformity influence in large social networks.	KDD	2013	DBLP DOI BibTeX RDF
17	Frantisek Mráz, Friedrich Otto	Lambda-Confluence Is Undecidable for Clearing Restarting Automata.	CIAA	2013	DBLP DOI BibTeX RDF
17	Arnd Hartmanns, Mark Timmer	On-the-Fly Confluence Detection for Statistical Model Checking.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
17	Harald Zankl	Confluence by Decreasing Diagrams - Formalized.	RTA	2013	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001	Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering.	FroCos	2013	DBLP DOI BibTeX RDF
17	Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga	Confluence Reduction for Markov Automata.	FORMATS	2013	DBLP DOI BibTeX RDF
17	Eric S. K. Yu, Alexei Lapouchnian	Architecting the enterprise to leverage a confluence of emerging technologies.	CASCON	2013	DBLP BibTeX RDF
17	Patrick Martin 0001, Farhana H. Zulkernine, Shady Khalifa, Azadeh Eftekhari, B. Ashtiani, Dan Rope, Mike McRoberts, Craig Statchuk	Analytics-as-a-service: confluence of big data, cloud computing and software-as-a-service.	CASCON	2013	DBLP BibTeX RDF
17	Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
17	Alvaro Armenta Ramade, Arturo Serrano-Santoyo, Mayer R. Cabrera-Flores, Roberto Conte	The new digital divide: the confluence of broadband penetration, sustainable development, technology adoption and community participation.	Inf. Technol. Dev.	2012	DBLP DOI BibTeX RDF
17	Peter A. Bandettini	Functional MRI: A confluence of fortunate circumstances.	NeuroImage	2012	DBLP DOI BibTeX RDF
17	Jean-Pierre Jouannaud, Jiaxiang Liu 0001	From diagrammatic confluence to modularity.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Barton P. Miller, Yoshio Tanaka, Elisa Heymann	Grid and Cloud Security: A Confluence (NII Shonan Meeting 2012-8).	NII Shonan Meet. Rep.	2012	DBLP BibTeX RDF
17	Ferruccio Guidi	Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover.	J. Formaliz. Reason.	2012	DBLP DOI BibTeX RDF
17	Maria Maximova, Hartmut Ehrig, Claudia Ermel	Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001, Yoshihito Toyama	A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Rémy Haemmerlé	Diagrammatic confluence for Constraint Handling Rules	CoRR	2012	DBLP BibTeX RDF
17	Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón	Formalizing the Confluence of Orthogonal Rewriting Systems	LSFA	2012	DBLP DOI BibTeX RDF
17	Harald Zankl	Confluence by Decreasing Diagrams -- Formalized	CoRR	2012	DBLP BibTeX RDF
17	Oscar Mayora-Ibarra, Ryoichi Shinkuma	Foreword: Mobility and Social Networks Confluence.	Mob. Networks Appl.	2012	DBLP DOI BibTeX RDF
17	Tomas Kuhr, Vilém Vychodil	Similarity issues of confluence of fuzzy relations.	Int. J. Gen. Syst.	2012	DBLP DOI BibTeX RDF
17	Radu Mateescu 0001, Anton Wijs	Sequential and distributed on-the-fly computation of weak tau-confluence.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
17	Rémy Haemmerlé	Diagrammatic confluence for Constraint Handling Rules.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
17	Isabelle Viaud-Delmon, Andrea Gaggioli, Alois Ferscha, Stephen Dunne	Human Computer Confluence Applied in Healthcare and Rehabilitation.	Annual Review of Cybertherapy and Telemedicine	2012	DBLP DOI BibTeX RDF
17	Dominik Klein 0001, Nao Hirokawa	Confluence of Non-Left-Linear TRSs via Relative Termination.	LPAR	2012	DBLP DOI BibTeX RDF
17	William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier 0001	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.	Datalog	2012	DBLP DOI BibTeX RDF
17	Grant Martin	Keynote 1 - The once and future FPGA: The confluence of configurable processing and reconfigurable technology.	ReConFig	2012	DBLP DOI BibTeX RDF
17	Andreas Riener	Driver-vehicle confluence or how to control your car in future?	AutomotiveUI	2012	DBLP DOI BibTeX RDF
17	Thiago Schumacher Barcelos, Ismar Frango Silveira	Teaching Computational Thinking in initial series An analysis of the confluence among mathematics and Computer Sciences in elementary education and its implications for higher education.	CLEI	2012	DBLP DOI BibTeX RDF
17	Bertram Felgenhauer	Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.	RTA	2012	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge	Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.	CiE	2012	DBLP DOI BibTeX RDF
17	Stefan Hetzl, Lutz Straßburger	Herbrand-Confluence for Cut Elimination in Classical First Order Logic.	CSL	2012	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001, Jeroen Ketema	Rational Term Rewriting Revisited: Decidability and Confluence.	ICGT	2012	DBLP DOI BibTeX RDF
17	Matthias Baaz, Stefan Hetzl	On the non-confluence of cut-elimination.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
17	Enrico Biermann	Local Confluence Analysis of Consistent EMF Transformations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
17	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting	CoRR	2011	DBLP BibTeX RDF
17	Jyoti S. A. Bhat, Sushil, P. K. Jain	Strategic Management of Innovation Focusing on Confluence of Continuity and Change.	Int. J. Green Comput.	2011	DBLP DOI BibTeX RDF
17	Daniyar S. Shamkanov	Strong Normalization and Confluence for Reflexive Combinatory Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
17	Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis	CONFLuEnCE: CONtinuous workFLow ExeCution Engine.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
17	Harald Zankl, Bertram Felgenhauer, Aart Middeldorp	CSI - A Confluence Tool.	CADE	2011	DBLP DOI BibTeX RDF
17	Seungil Huh, Mei Chen	Detection of mitosis within a stem cell population of high cell confluence in phase-contrast microscopy images.	CVPR	2011	DBLP DOI BibTeX RDF
17	Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol	Confluence Reduction for Probabilistic Systems.	TACAS	2011	DBLP DOI BibTeX RDF
17	Basuki Widodo	Sedimentation characteristics study on the confluence of two rivers using Meshless Local Petrov-Galerkin Method.	ICCSCE	2011	DBLP DOI BibTeX RDF
17	José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas	On the Confluence of the Graphic Calculus with Penrose Diagrams (I).	EUROCAST (1)	2011	DBLP DOI BibTeX RDF
17	Aaron Stump, Garrin Kimmell, Roba El Haj Omar	Type Preservation as a Confluence Problem.	RTA	2011	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001, Yoshihito Toyama	A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems.	RTA	2011	DBLP DOI BibTeX RDF
17	Benoît Gaillard, Bruno Gaume, Emmanuel Navarro	Invariants and Variability of Synonymy Networks: Self Mediated Agreement by Confluence.	Graph-based Methods for Natural Language Processing	2011	DBLP BibTeX RDF
17	Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis	CONFLuEnCE: Implementation and application design.	CollaborateCom	2011	DBLP DOI BibTeX RDF
17	Raphael Cóbe, Renata Wassermann, Fabio Kon	Ontology Merging: on The Confluence Between Theoretical and Pragmatic Approaches.	ONTOBRAS-MOST	2011	DBLP BibTeX RDF
17	Bertram Felgenhauer, Harald Zankl, Aart Middeldorp	Layer Systems for Proving Confluence.	FSTTCS	2011	DBLP DOI BibTeX RDF
17	Jung Hoon Baeg, Kathleen Burnett, Laurie J. Bonnici, Mega M. Subramaniam	Navigating the confluence of streams in the development of disciplinary identity, 2004--2009.	iConference	2011	DBLP DOI BibTeX RDF
17	Paul F. M. J. Verschure	The complexity of reality and human computer confluence: stemming the data deluge by empowering human creativity.	CHItaly	2011	DBLP DOI BibTeX RDF
17	Radim Belohlávek, Tomas Kuhr, Vilém Vychodil	Confluence and termination of fuzzy relations.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
17	Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron	Non-confluence in divisionless P systems with active membranes.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Detlef Plump	Checking Graph-Transformation Systems for Confluence.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
17	Laurent Poinsot, Gérard Duchamp, Christophe Tollu	Partial monoids: associativity and confluence	CoRR	2010	DBLP BibTeX RDF
17	Guillaume Bonfante	Observation of implicit complexity by non confluence	DICE	2010	DBLP DOI BibTeX RDF
17	Andreas Morgenstern, Klaus Schneider 0001	Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis	GANDALF	2010	DBLP DOI BibTeX RDF
17	Roberto M. Amadio, Patrick Baillot, Antoine Madet	An affine-intuitionistic system of types and effects: confluence and termination	CoRR	2010	DBLP BibTeX RDF
17	Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol	Confluence Reduction for Probabilistic Systems (extended version)	CoRR	2010	DBLP BibTeX RDF
17	Mark M. Schira, Christopher W. Tyler, Branka Spehar, Michael Breakspear	Modeling Magnification and Anisotropy in the Primate Foveal Confluence.	PLoS Comput. Biol.	2010	DBLP DOI BibTeX RDF
17	Gregory Grefenstette, Laura Wilber	Search-Based Applications: At the Confluence of Search and Database Technologies		2010	DOI RDF
17	Jean-Pierre Jouannaud, Benjamin Monate	Infinite Families of Finite String Rewriting Systems and Their Confluence.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
17	Björn Kijl, Durk Boersma	Developing a business model engineering & experimentation tool - the quest for scalable 'lollapalooza confluence patterns'.	AMCIS	2010	DBLP BibTeX RDF
17	Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger	An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.	ICMS	2010	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001	Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.	RTA	2010	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas	Local Confluence for Rules with Nested Application Conditions.	ICGT	2010	DBLP DOI BibTeX RDF
17	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	Confluence Results for a Quantum Lambda Calculus with Measurements.	QPL@MFPS	2009	DBLP DOI BibTeX RDF
17	Kim Bartel Sheehan, Deborah K. Morrison	Beyond Convergence: Confluence Culture and the Role of the Advertising Agency in a Changing World.	First Monday	2009	DBLP DOI BibTeX RDF
17	René David	A direct proof of the confluence of combinatory strong reduction.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Jeroen Ketema, Jakob Grue Simonsen	Infinitary Combinatory Reduction Systems: Confluence	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
17	Claus-Peter Wirth	Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems	CoRR	2009	DBLP BibTeX RDF
17	René David	A direct proof of the confluence of combinatory strong reduction	CoRR	2009	DBLP BibTeX RDF
17	Roberto M. Amadio, Patrick Baillot, Antoine Madet	An affine-intuitionistic system of types and effects: confluence and termination	CoRR	2009	DBLP BibTeX RDF
17	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	Confluence Results for a Quantum Lambda Calculus with Measurements	CoRR	2009	DBLP BibTeX RDF
17	Claus-Peter Wirth	Shallow confluence of conditional term rewriting systems.	J. Symb. Comput.	2009	DBLP DOI BibTeX RDF
17	Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001	The lambda-calculus with constructors: Syntax, confluence and separation.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
17	Radim Belohlávek, Tomas Kuhr, Vilém Vychodil	Confluence and related properties of fuzzy relations.	FUZZ-IEEE	2009	DBLP DOI BibTeX RDF
17	Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal	Confluence of Reduction Rules for Lexicographic Ordering Constraints.	SARA	2009	DBLP BibTeX RDF
17	Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage	Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.	QPL/DCM@ICALP	2008	DBLP DOI BibTeX RDF
17	Masayuki Noro, Takeshi Sasaki, Kotaro Yamada, Masaaki Yoshida	Confluence of Swallowtail Singularities of the Hyperbolic Schwarz Map Defined by the Hypergeometric Differential Equation.	Exp. Math.	2008	DBLP DOI BibTeX RDF
17	Lorena Chavarría-Báez, Xiaoou Li	Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach.	SEKE	2008	DBLP BibTeX RDF
17	Denis Berthier	From Constraints to Resolution Rules Part II : chains, braids, confluence and T&E.	SCSS (2)	2008	DBLP DOI BibTeX RDF
17	Tom Schrijvers, Martin Sulzmann	Confluence for Functional Dependencies.	Trends in Functional Programming	2008	DBLP BibTeX RDF
17	Sonia Fagorzi, Elena Zucca	A calculus of open modules: call-by-need strategy and confluence.	Math. Struct. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Lixin Fu 0001, Hamid R. Nemati, Fereidoon Sadri	Privacy-Preserving Data Mining and the Need for Confluence of Research and Practice.	Int. J. Inf. Secur. Priv.	2007	DBLP DOI BibTeX RDF