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 |
|