Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Raj Venkatesan, Kumar Mehta, Ravi Bapna	Understanding the confluence of retailer characteristics, market characteristics and online pricing strategies.	Decis. Support Syst.	2006	DBLP DOI BibTeX RDF
17	Olivier Gasquet	On the Influence of Confluence in Modal Logics.	Fundam. Informaticae	2006	DBLP BibTeX RDF
17	Robin Milner	Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).	EXPRESS	2006	DBLP DOI BibTeX RDF
17	Frédéric Blanqui	Termination and Confluence of Higher-Order Rewrite Systems	CoRR	2006	DBLP BibTeX RDF
17	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting	CoRR	2006	DBLP BibTeX RDF
17	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
17	A. W. Roscoe 0001	Confluence Thanks to Extensional Determinism.	APC 25	2005	DBLP DOI BibTeX RDF
17	Jean-Pierre Jouannaud	Higher-Order Rewriting: Framework, Confluence and Termination.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
17	Thom W. Frühwirth	Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.	ICLP	2005	DBLP DOI BibTeX RDF
17	Clara Bertolissi	The Graph Rewriting Calculus: Confluence and Expressiveness.	ICTCS	2005	DBLP DOI BibTeX RDF
17	Frank Recker	Stochastic Analysis of the Traffic Confluence at the Crossing of a Major and a Minor Road.	OR	2005	DBLP DOI BibTeX RDF	V-ergodic Markov chain, Stopping time, Traffic problems, Queuing theory, Renewal process, Poisson process
17	Amelia Râstei	Abstract Conditions for the Confluence of Explicit Substitution Calculi.	WoLLIC	2004	DBLP DOI BibTeX RDF
17	Jakob Grue Simonsen	On confluence and residuals in Cauchy convergent transfinite rewriting.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
17	Felix Joachimski	Confluence of the coinductive [lambda]-calculus.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma	Deciding confluence of certain term rewriting systems in polynomial time.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
17	Ivano Salvo	Confluence and expressiveness in reduction systems.		2004	RDF
17	Florent Jacquemard	Reachability and confluence are undecidable for flat term rewriting systems.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
17	René Vestergaard, James Brotherston	A formalised first-order confluence proof for the -calculus using one-sorted variable names.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
17	Danica Kragic, Henrik I. Christensen	Confluence of parameters in model based tracking.	ICRA	2003	DBLP DOI BibTeX RDF
17	Franco Fummi	The Confluence of Manufacturing Test and Design Validation.	ITC	2003	DBLP DOI BibTeX RDF
17	Kwang-Ting Cheng	The Confluence of Manufacturing Test and Design Validation.	ITC	2003	DBLP DOI BibTeX RDF
17	Ian G. Harris	The Confluence of Manufacturing Test and Design Validation.	ITC	2003	DBLP DOI BibTeX RDF
17	Zena M. Ariola, Stefan Blom	Skew confluence and the lambda calculus with letrec.	Ann. Pure Appl. Log.	2002	DBLP DOI BibTeX RDF
17	Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema	Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
17	Kenneth C. Litkowski	Sense Information for Disambiguation: Confluence of Supervised and Unsupervised Methods.	SENSEVAL	2002	DBLP BibTeX RDF
17	Markus Lohrey	Confluence Problems for Trace Rewriting Systems.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
17	Hubert Comon, Guillem Godoy, Robert Nieuwenhuis	The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time.	FOCS	2001	DBLP DOI BibTeX RDF
17	Susan K. London, Julie J. McGowan, Atif Zafar	CAI Revisited: A Confluence of Informatics Instruction and Evidence Education.	MedInfo	2001	DBLP DOI BibTeX RDF
17	Slim Abdennadher, Christophe Rigotti	Using Confluence to Generate Rule-Based Constraint Solvers.	PPDP	2001	DBLP DOI BibTeX RDF
17	Delia Kesner	Confluence of extensional and non-extensional lambda-calculi with explicit substitutions.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Mingsheng Ying	Weak confluence and tau-inertness.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	David S. Bayard	A confluence matrix condition for exponential error convergence in overparametrized adaptive systems.	IEEE Trans. Signal Process.	2000	DBLP DOI BibTeX RDF
17	Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer	A geometric proof of confluence by decreasing diagrams.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
17	Joachim Niehren	Uniform confluence in concurrent computation.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
17	Ales Leonardis, Franc Solina, Ruzena Bajcsy (eds.)	Confluence of Computer Vision and Computer Graphics		2000	DBLP DOI BibTeX RDF
17	Jan Friso Groote, Jaco van de Pol	State Space Reduction Using Partial tau-Confluence.	MFCS	2000	DBLP DOI BibTeX RDF
17	Luis Fariñas del Cerro, Olivier Gasquet	Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
17	Slim Abdennadher, Thom W. Frühwirth, Holger Meuss	Confluence and Semantics of Constraint Simplification Rules.	Constraints An Int. J.	1999	DBLP DOI BibTeX RDF
17	Michael L. Brodie	Que Sera, Sera: The Coincidental Confluence of Economics, Business, and Collaborative Computing.	ICDE	1999	DBLP DOI BibTeX RDF
17	Catherine Pilière	A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point.	FCT	1999	DBLP DOI BibTeX RDF
17	Michael L. Brodie	Que Sera Sera: The Coincidental Confluence of Economics, Business, and Collaborative Computing.	DOA	1999	DBLP BibTeX RDF
17	Pieter Hendrik Rodenburg	Termination and Confluence in Infinitary Term Rewriting.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
17	Géraud Sénizergues	A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Xinxin Liu 0008, David Walker 0008	Partial Confluence of Proceses and Systems of Objects.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Tero Harju, Lucian Ilie	On Quasi Orders of Words and the Confluence Property.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Richard Mayr, Tobias Nipkow	Higher-Order Rewrite Systems and Their Confluence.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Marc Bezem, Jan Willem Klop, Vincent van Oostrom	Diagram Techniques for Confluence.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
17	David J. Kriegman, Gregory D. Hager, A. Stephen Morse (eds.)	The confluence of vision and control, Block Island Workshop on Vision and Control, June 23-27, 1997, Block Island, Rhode Island, USA	Block Island Workshop on Vision and Control	1998	DBLP DOI BibTeX RDF
17	Markus Lohrey	On the Confluence of Trace Rewriting Systems.	FSTTCS	1998	DBLP DOI BibTeX RDF
17	Takahito Aoto 0001, Yoshihito Toyama	Persistency of Confluence.	J. Univers. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi	Confluence in Concurrent Constraint Programming.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Gudrun Klinker, Klaus H. Ahlers, David E. Breen, Pierre-Yves Chevalier, Chris Crampton, Douglas S. Greer, Dieter Koller, André Kramer, Eric Rose, Mihran Tuceryan, Ross T. Whitaker	Confluence of Computer Vision and Interactrive Graphics for Augmented Reality.	Presence Teleoperators Virtual Environ.	1997	DBLP DOI BibTeX RDF
17	Richard Gibson	Confluence Of Culture And Information Technology In Thailand.	PACIS	1997	DBLP BibTeX RDF
17	Lucian Ilie	The Decidability of the Generalized Confluence Problem for Context-Free Languages.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
17	Sara Comai, Letizia Tanca	Using the Properties of Datalog to Prove Termination and Confluence in Active Databases.	Rules in Database Systems	1997	DBLP DOI BibTeX RDF
17	Xianchang Wang, Jia-Huai You, Li-Yan Yuan	On Confluence Property of Active Databases with Meta-Rules.	Rules in Database Systems	1997	DBLP DOI BibTeX RDF
17	Eero Lassila	A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence.	ICFP	1997	DBLP DOI BibTeX RDF
17	Franco Barbanera, Stefano Berardi, Massimo Schivalocchi	"Classical" Programming-with-Proofs in lambdaPASym: An Analysis of Non-confluence.	TACS	1997	DBLP DOI BibTeX RDF
17	Slim Abdennadher	Operational Semantics and Confluence of Constraint Propagation Rules.	CP	1997	DBLP DOI BibTeX RDF
17	Yi Ma 0001, Jana Kosecká, Shankar Sastry 0001	Vision guided navigation for a nonholonomic mobile robot.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	François Chaumette	Potential problems of stability and convergence in image-based and position-based visual servoing.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Gregory D. Hager, David J. Kriegman, A. Stephen Morse	Research issues in vision and control.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Billibon H. Yoshimi, Peter K. Allen	Visual control of grasping.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Garbis Salgian, Dana H. Ballard	Visual routines for vehicle control.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Rodrigo L. Carceroni, C. Harman, Christopher K. Eveland, Christopher M. Brown	Real-time pose estimation and control for convoying applications.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Ronen Basri, Ehud Rivlin, Ilan Shimshoni	Visual homing: Surfing on the epipoles.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Alessandro Chiuso, Giorgio Picci	Visual tracking of points as estimation on the unit sphere.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Gregory D. Hager, David J. Kriegman, A. Stephen Morse, Peter K. Allen, D. Forsyth, Seth Hutchinson 0001, J. Little, N. Harris McClamroch, A. Sanderson, Steven B. Skaar	The block island workshop: Summary report.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Ruzena Bajcsy, Max Mintz	The separation of photometry and geometry via active vision.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Rajeev Sharma	Role of active vision in optimizing visual feedback for robot control.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Ruggero Frezza, Giorgio Picci, Stefano Soatto	A lagrangian formulation of nonholonomic path following.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Peter Corke	Design, delay and performance in gaze control: Engineering and biological approaches.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	William A. Wolovich, Mustafa Unel	Vision-based system identification and state estimation.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	John T. Feddema, Ronald W. Simon	Microassembly of micro-electro-mechanical systems (MEMS) using visual servoing.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Ernst D. Dickmanns	Dynamic vision merging control engineering and AI methods.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Michael J. Seelinger, Steven B. Skaar, Matthew L. Robinson	An alternative approach for image-plane control of robots.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Dimitris P. Tsakiris, Patrick Rives, Claude Samson	Extending visual servoing techniques to nonholonomic mobile robots.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Allen R. Tannenbaum, Anthony J. Yezzi	Visual tracking, active vision, and gradient flows.	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	João P. Hespanha 0001, Zachary Dodds, Gregory D. Hager, A. Stephen Morse	What can be done with an uncalibrated stereo system?	Block Island Workshop on Vision and Control	1997	DBLP DOI BibTeX RDF
17	Bernhard Gramlich	On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	N. Lafaye de Micheaux, C. Rambau	Confluence for Graph Transformations.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Jan Friso Groote, M. P. A. Sellink	Confluence for Process Verification.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Lemont B. Kier, Bernard Testa	Complex systems in drug research: II. The ligand - active site - water confluence as a complex system.	Complex.	1996	DBLP DOI BibTeX RDF
17	César A. Muñoz	Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus.	LICS	1996	DBLP DOI BibTeX RDF
17	Stefan Brass, Jürgen Dix	Characterizing D-WFS: Confluence and Iterated GCWA.	JELIA	1996	DBLP DOI BibTeX RDF
17	Slim Abdennadher, Thom W. Frühwirth, Holger Meuss	On Confluence of Constraint Handling Rules.	CP	1996	DBLP DOI BibTeX RDF
17	Bernhard Gramlich	Termination and confluence: properties of structured rewrite systems.		1996	RDF
17	Bernhard Gramlich	Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
17	Hassan Aït-Kaci, Jacques Garrigue	Label-Selective lambda-Calculus Syntax and Confluence.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
17	Rakesh M. Verma	Transformations and Confluence for Rewrite Systems.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
17	Celia Wrathall, Volker Diekert	On Confluence of One-Rule Trace-Rewriting Systems.	Math. Syst. Theory	1995	DBLP DOI BibTeX RDF
17	Stefan Kahrs	Confluence of Curried Term-Rewriting Systems.	J. Symb. Comput.	1995	DBLP DOI BibTeX RDF
17	Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi	Confluence in Concurrent Constraint Programming.	AMAST	1995	DBLP DOI BibTeX RDF
17	James G. Schmolze, Wayne Snyder	A Tool for Testing Confluence of Production Rules.	EUROVAV	1995	DBLP BibTeX RDF
17	Rakesh M. Verma	Unique Normal Forms and Confluence of Rewrite Systems: Persistence.	IJCAI	1995	DBLP BibTeX RDF
17	Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer	Modularity of Confluence: A Simplified Proof.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
17	Vincent van Oostrom	Confluence by Decreasing Diagrams.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
17	Carole A. Goble	Multimedia Information Systems: the confluence of technologies and disciplines.	Inf. Softw. Technol.	1994	DBLP DOI BibTeX RDF
17	Pierre-Louis Curien, Giorgio Ghelli	Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le	Inf. Comput.	1994	DBLP DOI BibTeX RDF
17	Val Tannen, Jean H. Gallier	Polymorphic Rewriting Conserves Algebraic Confluence	Inf. Comput.	1994	DBLP DOI BibTeX RDF