Search results for "Idempotence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Sunil Arya, Theocharis Malamatos, David M. Mount	The effect of corners on the complexity of approximate range searching.	SCG	2006	DBLP DOI BibTeX RDF	approximation algorithms, range searching, idempotence
55	Christian Ronse, Henk J. A. M. Heijmans	A Lattice-Theoretical Framework for Annular Filters in Morphological Image Processing.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Idempotent operators, Annular filters, Image processing, Mathematical morphology, Dilation, Erosion, Modular lattice
55	Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni	Idempotent Single-Predicate Horn Clauses.	ICDT	1988	DBLP DOI BibTeX RDF
55	Sunil Arya, Theocharis Malamatos, David M. Mount	On the importance of idempotence.	STOC	2006	DBLP DOI BibTeX RDF	approximation algorithms, range searching, idempotence
48	Christian Ronse	On Idempotence and Related Requirements in Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	idempotent edge detectors, Gabor energy feature detector, convolution masks, Fourier phase, Morrone conditions, feature extraction, feature extraction, edge detection, image smoothing
45	Sébastien Destercke, Didier Dubois	Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions?.	ECSQARU	2009	DBLP DOI BibTeX RDF	fusion, Belief functions, idempotence, possibility
45	Jeremy Brown, J. P. Grossman, Tom Knight	A lightweight idempotent messaging protocol for faulty networks.	SPAA	2002	DBLP DOI BibTeX RDF	block-structured traces, source-reliable messaging, idempotence
45	Ragunathan Rajkumar, Michael Gagliardi	High availability in the real-time publisher/subscriber inter-process communication model.	RTSS	1996	DBLP DOI BibTeX RDF	real time publisher/subscriber communications model, interprocess communication model, rejoins, repetitive real time processes, RT P/S model, processor membership protocol layer, periodic broadcast membership protocol, strong semantics, idempotence properties, weak interleaving needs, communication programming interface, steady state real time execution paths, multimedia dissemination applications, fault tolerant computing, distributed processing, feedback control, distributed real time systems, node failures, processor failures
37	Jean Cousty, Gilles Bertrand 0001, Michel Couprie, Laurent Najman	Collapses and Watersheds in Pseudomanifolds.	IWCIA	2009	DBLP DOI BibTeX RDF	segmentation, topology, watershed, collapse
37	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	SAS	1998	DBLP DOI BibTeX RDF	occur-check, rational trees, set-sharing, logic programming, abstract interpretation
29	Tongda Xu, Ziran Zhu, Dailan He, Yanghao Li, Lina Guo, Yuanyuan Wang, Zhe Wang, Hongwei Qin, Yan Wang, Jingjing Liu, Ya-Qin Zhang	Idempotence and Perceptual Image Compression.	CoRR	2024	DBLP DOI BibTeX RDF
29	Qian Zhang, Tongda Xu, Yanghao Li, Yan Wang	Evaluating Strong Idempotence of Image Codec.	CoRR	2023	DBLP DOI BibTeX RDF
29	Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen 0001, Haibo Chen 0001	Automated Verification of Idempotence for Stateful Serverless Applications.	OSDI	2023	DBLP BibTeX RDF
29	Zhihong Pan 0001, Baopu Li, Dongliang He, Mingde Yao, Wenhao Wu, Tianwei Lin, Xin Li 0106, Errui Ding	Towards Bidirectional Arbitrary Image Rescaling: Joint Optimization and Cycle Idempotence.	CoRR	2022	DBLP DOI BibTeX RDF
29	Zhihong Pan 0001, Baopu Li, Dongliang He, Mingde Yao, Wenhao Wu, Tianwei Lin, Xin Li 0106, Errui Ding	Towards Bidirectional Arbitrary Image Rescaling: Joint Optimization and Cycle Idempotence.	CVPR	2022	DBLP DOI BibTeX RDF
29	Hyeonsu Lee, Hyunjun Kim, Cheolgi Kim, Hwansoo Han, Euiseong Seo	Idempotence-Based Preemptive GPU Kernel Scheduling for Embedded Systems.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
29	Milijana Surbatovich, Limin Jia 0001, Brandon Lucia	I/O dependent idempotence bugs in intermittent systems.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
29	Pat Helland	The I's Have It: Identity, Immutability, Idempotence, and Interchangeability Form the Backbone of Distributed Computing.	CIDR	2019	DBLP BibTeX RDF
29	Pablo Daniel Torres, Mario Valencia-Pabon	Shifts of the stable Kneser graphs and hom-idempotence.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
29	Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden	Test Suite Reduction in Idempotence Testing of Infrastructure as Code.	TAP@STAF	2017	DBLP DOI BibTeX RDF
29	Rania Goutali, Noël Richard, Audrey Ledoux, Noureddine Ellouze	Problématique de l'idempotence pour les images couleurs et multivaluées.	Traitement du Signal	2014	DBLP DOI BibTeX RDF
29	Lloyd Humberstone	Aggregation and Idempotence.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
29	Ganesan Ramalingam, Kapil Vaswani	Fault tolerance via idempotence.	POPL	2013	DBLP DOI BibTeX RDF
29	Waldemar Hummer, Florian Rosenberg, Fábio Oliveira, Tamar Eilam	Testing Idempotence for Infrastructure as Code.	Middleware	2013	DBLP DOI BibTeX RDF
29	Pat Helland	Idempotence is not a medical condition.	Commun. ACM	2012	DBLP DOI BibTeX RDF
29	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers	Rule formats for determinism and idempotence.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
29	Pat Helland	Idempotence Is Not a Medical Condition.	ACM Queue	2012	DBLP DOI BibTeX RDF
29	Michael Luttenberger	An Extension of Parikh's Theorem beyond Idempotence	CoRR	2011	DBLP BibTeX RDF
29	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers	Rule Formats for Determinism and Idempotence.	FSEN	2009	DBLP DOI BibTeX RDF
29	Jérôme Buzzi, Frédéric Guichard	Idempotence and automatic linear contrast enhancements.	ICIP (2)	2005	DBLP DOI BibTeX RDF
29	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, idempotence and commutativity of set-sharing.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
29	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, Idempotence and Commutativity of Set-Sharing	CoRR	2001	DBLP BibTeX RDF
29	Ian Eslick, André DeHon, Thomas F. Knight Jr.	Guaranteeing Idempotence for Tightly-Coupled, Fault-Tolerant Networks.	PCRCW	1994	DBLP DOI BibTeX RDF
29	Manfred Schmidt-Schauß	Unification under Associativity and Idempotence is of Type Nullary.	J. Autom. Reason.	1986	DBLP DOI BibTeX RDF
26	Sunil Arya, David M. Mount, Jian Xia	Tight lower bounds for halfspace range searching.	SCG	2010	DBLP DOI BibTeX RDF	lower bounds, range searching, idempotence
26	Sunil Arya, Theocharis Malamatos, David M. Mount	The Effect of Corners on the Complexity of Approximate Range Searching.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Computational complexity, Approximation algorithms, Range searching, Idempotence
26	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
18	Christian Schulte 0001, Peter J. Stuckey	Efficient constraint propagation engines.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
18	Adrian N. Evans, David Gimenez	Extending connected operators to colour images.	ICIP	2008	DBLP DOI BibTeX RDF
18	Jean Cousty, Gilles Bertrand 0001, Laurent Najman, Michel Couprie	On Watershed Cuts and Thinnings.	DGCI	2008	DBLP DOI BibTeX RDF
18	Joe Hendrix, Hitoshi Ohsaki	Combining Equational Tree Automata over AC and ACI Theories.	RTA	2008	DBLP DOI BibTeX RDF
18	Rachid Guerraoui, Eric Ruppert	Anonymous and fault-tolerant shared-memory computing.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Anonymous, Shared memory, Consensus, Timestamps, Snapshots
18	Frédéric Blanqui, Thérèse Hardin, Pierre Weis	On the Implementation of Construction Functions for Non-free Concrete Data Types.	ESOP	2007	DBLP DOI BibTeX RDF
18	Guilherme Dias da Fonseca	Approximate Range Searching: The Absolute Model.	WADS	2007	DBLP DOI BibTeX RDF
18	Rachid Guerraoui, Eric Ruppert	What Can Be Implemented Anonymously?	DISC	2005	DBLP DOI BibTeX RDF
18	Guillem Godoy, Ashish Tiwari 0001	Confluence of Shallow Right-Linear Rewrite Systems.	CSL	2005	DBLP DOI BibTeX RDF
18	J. P. Grossman	Analytically Modeling a Fault-Tolerant Messaging Protocol.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
18	Michiel Frishert, Bruce W. Watson	Combining Regular Expressions with (Near-)Optimal Brzozowski Automata.	CIAA	2004	DBLP DOI BibTeX RDF
18	Christian Schulte 0001, Peter J. Stuckey	Speeding Up Constraint Propagation.	CP	2004	DBLP DOI BibTeX RDF
18	Czeslaw Jeske, Richard Banach	Minimally and Maximally Abstract Retrenchments.	IFM	2002	DBLP DOI BibTeX RDF	Integration, Refinement, Retrenchment
18	Richard Banach	Maximally Abstract Retrenchments.	ICFEM	2000	DBLP DOI BibTeX RDF
18	Henk J. A. M. Heijmans, Christian Ronse	Annular filters for binary images.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
18	Fernando de Ferreira Rezende, Thomas Baier 0003	Employing Object-Based LSNs in a Recovery Strategy.	DEXA	1996	DBLP DOI BibTeX RDF
18	Flavio Corradini, Rocco De Nicola, Anna Labella	Fully Abstract Models for Nondeterministic Regular Expressions.	CONCUR	1995	DBLP DOI BibTeX RDF
18	Rocco De Nicola, Anna Labella	A Completeness Theorem fro Nondeterministic Kleene Algebras.	MFCS	1994	DBLP DOI BibTeX RDF
18	H. Perdrix	Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.	STACS	1984	DBLP DOI BibTeX RDF	Fr Système de réécriture, Théorie équationnelle, Paire critique, Cohérence, Terminaison uniforme, Forme normale, Church-Rosser, Preuve automatique, Unification, Confluence