Search results for "idempotent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar	Exploiting reference idempotency to reduce speculative storage overflow.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Idempotent references, compiler-assisted speculative execution, speculation
70	Hitoshi Furusawa, Fumiya Sanda	*-Continuous Idempotent Left Semirings and Their Ideal Completion.	RelMiCS	2009	DBLP DOI BibTeX RDF
70	Tim French 0002	Idempotent Transductions for Modal Logics.	FroCoS	2007	DBLP DOI BibTeX RDF
70	Grigori L. Litvinov, Andrei N. Sobolevski	Idempotent Interval Analysis and Optimization Problems.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
67	Csaba Szabó, László Zádori	Idempotent Totally Symmetric Operations on Finite Posets.	Order	2001	DBLP DOI BibTeX RDF	idempotent Malcev conditions, posets, zigzags
62	Ondrej Klíma 0001	Unification Modulo Associativity and Idempotency Is NP-complete.	MFCS	2002	DBLP DOI BibTeX RDF	idempotent semigroups, complexity, unification
62	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Axiomatizing Tropical Semirings.	FoSSaCS	2001	DBLP DOI BibTeX RDF	relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
57	L. Ji	2-idempotent 3-quasigroups with a conjugate invariant subgroup consisting of a single cycle of length four.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B15
52	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
52	Sunil Arya, Theocharis Malamatos, David M. Mount	On the importance of idempotence.	STOC	2006	DBLP DOI BibTeX RDF	approximation algorithms, range searching, idempotence
49	Bernard De Baets, János C. Fodor	Residual operators of uninorms.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Additive generator, contrapositivity, idempotent uninorm, representable uninorm, residual coimplicator, residual implicator, t -norm, uninorm, t -conorm
44	Feifei Ma, Jian Zhang 0001	Computer Search for Large Sets of Idempotent Quasigroups.	ASCM	2007	DBLP DOI BibTeX RDF
44	Florian Kammüller, Jeff W. Sanders	Idempotent Relations in Isabelle/HOL.	ICTAC	2004	DBLP DOI BibTeX RDF
44	Henry G. Potrykus, Frank Allgöwer, Si-Zhao Joe Qin	The Character of an Idempotent-analytic Nonlinear Small Gain Theorem.	POSTA	2003	DBLP DOI BibTeX RDF
39	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
39	Mohammad Torabi Dashti	Optimistic Fair Exchange Using Trusted Devices.	SSS	2009	DBLP DOI BibTeX RDF
39	Manfred Droste, Paul Gastin	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
39	Michael Codish, Vitaly Lagoon, Peter J. Stuckey	Testing for Termination with Monotonicity Constraints.	ICLP	2005	DBLP DOI BibTeX RDF
39	Gabriel Taubin	Dual Mesh Resampling.	PG	2001	DBLP DOI BibTeX RDF	Geometric Signal Processing, Mesh resampling, Algorithms, Graphics, Subdivision surfaces
39	Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar	Reference idempotency analysis: a framework for optimizing speculative execution.	PPoPP	2001	DBLP DOI BibTeX RDF
39	Susumu Yamasaki	Extraction of Functional from Logic Program.	PLILP	1991	DBLP DOI BibTeX RDF
39	Deepak Kapur, Paliath Narendran	NP-Completeness of the Set Unification and Matching Problems.	CADE	1986	DBLP DOI BibTeX RDF
37	Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac	SOS rule formats for idempotent terms and idempotent unary operators.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
37	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.	SOFSEM	2013	DBLP DOI BibTeX RDF
37	Marcel Wild	Idempotent and co-idempotent stack filters and min-max operators.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
37	Charles C. Lindner	A Finite Partial Idempotent Latin Cube Can Be Embedded in a Finite Idempotent Latin Cube.	J. Comb. Theory, Ser. A	1976	DBLP DOI BibTeX RDF
36	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
36	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
36	Eric Filiol, Caroline Fontaine	Highly Nonlinear Balanced Boolean Functions with a Good Correlation-Immunity.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Boolean function, stream cipher, correlation, nonlinearity, balancedness, idempotent
36	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
36	Burton S. Kaliski Jr., Ronald L. Rivest, Alan T. Sherman	Is the Data Encryption Standard a Group? (Preliminary Abstract).	EUROCRYPT	1985	DBLP DOI BibTeX RDF	closed cipher, cycle-detection algorithm, finite permutation group, idempotent cryptosystem, pure cipher, cryptanalysis, Data Encryption Standard (DES), multiple encryption, Birthday Paradox
36	Burton S. Kaliski Jr., Ronald L. Rivest, Alan T. Sherman	Is DES a Pure Cipher? (Results of More Cycling Experiments on DES).	CRYPTO	1985	DBLP DOI BibTeX RDF	closed cipher, cycle-detection algorithm, finite permutation group, idempotent cryptosystem, pure cipher, cryptography, cryptanalysis, Data Encryption Standard (DES), cryptology, multiple encryption, Birthday Paradox
31	E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka	semQA: SPARQL with Idempotent Disjunction.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
31	Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat	Idempotent work stealing.	PPoPP	2009	DBLP DOI BibTeX RDF	memory barrier, memory fence, atomic, work stealing
31	Peter Höfner, Georg Struth	Non-termination in Idempotent Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
31	Vladik Kreinovich, Luc Longpré	Kolmogorov complexity leads to a representation theorem for idempotent probabilities (sigma-maxitive measures).	SIGACT News	2005	DBLP DOI BibTeX RDF
31	Olivier Dubois 0002, Gilles Dequen	The Non-existence of (3, 1, 2)-Conjugate Orthogonal Idempotent Latin Square of Order 10.	CP	2001	DBLP DOI BibTeX RDF
31	Catuscia Palamidessi	Algebraic Properties of Idempotent Substitutions.	ICALP	1990	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	Simone Bova	Soft Constraints Processing over Divisible Residuated Lattices.	ECSQARU	2009	DBLP DOI BibTeX RDF
26	Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel	Set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99
26	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Derivation Tree Analysis for Accelerated Fixed-Point Computation.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
26	Guillaume C. L. Brümmer, Hans-Peter A. Künzi	Idempotency of Extensions via the Bicompletion.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54B30, 54D35, 54E15, 18A40
26	Roberto Ghiselli Ricci	Asymptotic Idempotency.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
26	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes.	ICFCA	2006	DBLP DOI BibTeX RDF
26	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
26	Hugh Anderson, Siau-Cheng Khoo	Affine-Based Size-Change Termination.	APLAS	2003	DBLP DOI BibTeX RDF
26	Lucien Haddad, G. E. Simons	On Intervals of Partial Clones of Boolean Partial Functions.	ISMVL	2003	DBLP DOI BibTeX RDF
26	Bernhard Burgeth, Joachim Weickert	An Explanation for the Logarithmic Connection between Linear and Morphological Systems.	Scale-Space	2003	DBLP DOI BibTeX RDF	linear system theory, MAXPLUS algebra, MINPLUS algebra, slope transform, Cramer transform, morphology, convex analysis
26	A. N. Trahtman	A Polynomial Time Algorithm for Left [Right] Local Testability.	CIAA	2002	DBLP DOI BibTeX RDF	locally testable, algorithm, graph, language, semigroup, deterministic finite automaton
26	Gábor Kun, Csaba Szabó	Order Varieties and Monotone Retractions of Finite Posets.	Order	2001	DBLP DOI BibTeX RDF	finite poset, order variety
26	Didier Dubois, Henri Prade, Philippe Smets	New Semantics for Quantitative Possibility Theory.	ECSQARU	2001	DBLP DOI BibTeX RDF
26	Ondrej Klíma 0001, Jirí Srba	Matching Modulo Associativity and Idempotency Is NP-Complete.	MFCS	2000	DBLP DOI BibTeX RDF
26	Thomas Schiex	Arc Consistency for Soft Constraints.	CP	2000	DBLP DOI BibTeX RDF
26	Roberta Evans Sabin	On Determining All Codes in Semi-Single Group Rings.	AAECC	1993	DBLP DOI BibTeX RDF
26	Franz Baader	Rewrite Systems for Varieties of Semigroups.	CADE	1990	DBLP DOI BibTeX RDF
26	Josef Pieprzyk	Algebraical Structures of Cryptographic Transformations.	EUROCRYPT	1984	DBLP DOI BibTeX RDF
23	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
23	Józef Drewniak, Jolanta Sobera	Compositions of invariant fuzzy implications.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Invariant implication, Composition table, Idempotent implication, Fuzzy implication
23	Francis Pastijn	Varieties Generated by Ordered Bands II.	Order	2005	DBLP DOI BibTeX RDF	idempotent semirings, identity, order, variety, band
23	Shamik Ghosh, Francis J. Pastijn, Xianzhong Zhao	Varieties Generated by Ordered Bands I.	Order	2005	DBLP DOI BibTeX RDF	idempotent semiring, identity, order, variety, band
23	Joachim Lambek, Philip J. Scott	An Exactification of the Monoid of Primitive Recursive Functions.	Stud Logica	2005	DBLP DOI BibTeX RDF	primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers
23	Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber	Dynamic Linking on a Shared-Memory Multiprocessor.	IEEE PACT	1999	DBLP DOI BibTeX RDF	backpatching, relaxed memory consistency, idempotent code, PowerPC architecture, Java virtual machine, dynamic linking
18	Carlo Klapproth, Dixy Msapato, Amit Shah	Idempotent Completions of n-Exangulated Categories.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
18	Lai Wei 0001, Shiteng Liu, Rigui Zhou, Changming Zhu, Jin Liu 0009	Learning Idempotent Representation for Subspace Clustering.	IEEE Trans. Knowl. Data Eng.	2024	DBLP DOI BibTeX RDF
18	Alonso Castillo-Ramirez, Maria G. Magaña-Chavez, Eduardo Veliz-Quintero	Idempotent cellular automata and their natural order.	CoRR	2024	DBLP DOI BibTeX RDF
18	Heike Faßbender, Martin Halwaß	A note on the singular value decomposition of idempotent and involutory matrices.	CoRR	2024	DBLP DOI BibTeX RDF
18	Flavien Breuvart, Federico Olimpieri	An Indexed Linear Logic for Idempotent Intersection Types (Long version).	CoRR	2024	DBLP DOI BibTeX RDF
18	Andrea Mesiarová-Zemánková	Representation of non-commutative, idempotent, associative functions by pair-orders.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
18	Jitsupat Rattanakangwanwong, Yotsanan Meemark	Subgraph of unitary Cayley graph of matrix algebras induced by idempotent matrices.	Discret. Math.	2024	DBLP DOI BibTeX RDF
18	Kyle Gorman, Cyril Allauzen	A* shortest string decoding for non-idempotent semirings.	EACL (1)	2024	DBLP BibTeX RDF
18	Andrea Mesiarová-Zemánková	Decomposition of idempotent pseudo-uninorms via ordinal sum.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
18	Ting-Hai Zhang, Feng Qin, Jie Wan, Wen-Huang Li	Distributivity Conditions of Idempotent Uninorms and Two Special Kinds of Aggregation Functions.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
18	Yuxin Mao, Zhexiong Wan, Yuchao Dai, Xin Yu 0002	Deep Idempotent Network for Efficient Single Image Blind Deblurring.	IEEE Trans. Circuits Syst. Video Technol.	2023	DBLP DOI BibTeX RDF
18	Assaf Shocher, Amil Dravid, Yossi Gandelsman, Inbar Mosseri, Michael Rubinstein, Alexei A. Efros	Idempotent Generative Network.	CoRR	2023	DBLP DOI BibTeX RDF
18	Tobias Fritz, Tomás Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein	Absolute continuity, supports and idempotent splitting in categorical probability.	CoRR	2023	DBLP DOI BibTeX RDF
18	Rudnei Dias da Cunha, Elismar R. Oliveira, Filip Strobin	Fuzzy-set approach to invariant idempotent measures.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
18	Yong Su, Andrea Mesiarová-Zemánková, Radko Mesiar	Idempotent uninorms on a bounded chain.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
18	David R. Bickel	Maximum entropy derived and generalized under idempotent probability to address Bayes-frequentist uncertainty and model revision uncertainty: An information-theoretic semantics for possibility theory.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
18	Yanghao Li, Tongda Xu, Yan Wang, Jingjing Liu, Ya-Qin Zhang	Idempotent Learned Image Compression with Right-Inverse.	NeurIPS	2023	DBLP BibTeX RDF
18	Hua-Peng Zhang, Yao Ouyang, Zhudeng Wang, Bernard De Baets	A characterization of idempotent nullnorms on bounded lattices.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
18	Dixy Msapato	The Karoubi envelope and weak idempotent completion of an extriangulated category.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
18	Dixy Msapato	Correction to: The Karoubi envelope and weak idempotent completion of an extriangulated category.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
18	Ting-Hai Zhang, Feng Qin, Jie Wan, Qimin Hu, Zhenhua Cao	Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
18	Xiaoling Xu, Linzhang Lu, Qilong Liu	Solution Set of the Yang-Baxter-like Matrix Equation for an Idempotent Matrix.	Symmetry	2022	DBLP DOI BibTeX RDF
18	Lloyd Humberstone	Idempotent Variations on the Theme of Exclusive Disjunction.	Stud Logica	2022	DBLP DOI BibTeX RDF
18	Kyle Gorman, Cyril Allauzen	A* shortest string decoding for non-idempotent semirings.	CoRR	2022	DBLP DOI BibTeX RDF
18	Wesley Fussner, Nick Galatos	Conic Idempotent Residuated Lattices.	CoRR	2022	DBLP DOI BibTeX RDF
18	Yuxin Mao, Zhexiong Wan, Yuchao Dai, Xin Yu 0002	Deep Idempotent Network for Efficient Single Image Blind Deblurring.	CoRR	2022	DBLP DOI BibTeX RDF
18	Lai Wei 0001, Shiteng Liu, Rigui Zhou, Changming Zhu	Learning idempotent representation for subspace clustering.	CoRR	2022	DBLP DOI BibTeX RDF
18	Julien Ah-Pine	Learning doubly stochastic and nearly idempotent affinity matrix for graph-based clustering.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
18	Andrea Mesiarová-Zemánková	Characterization of idempotent n-uninorms.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
18	Xinxing Wu, Shudi Liang, Gül Deniz Çayli	Characterizing idempotent nullnorms on a special class of bounded lattices.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
18	Yao Ouyang, Hua-Peng Zhang, Zhudeng Wang, Bernard De Baets	Idempotent uninorms on a complete chain.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
18	Yuxiang Peng, Mingsheng Ying, Xiaodi Wu 0001	Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.	PLDI	2022	DBLP DOI BibTeX RDF
18	Anjiang Wei, Pu Yi 0001, Zhengxi Li, Tao Xie 0001, Darko Marinov, Wing Lam	Preempting Flaky Tests via Non-Idempotent-Outcome Tests.	ICSE	2022	DBLP DOI BibTeX RDF
18	Zhifu Tao, Ligang Zhou, Jinpei Liu, Huayou Chen	Idempotent Computing Rules and Novel Comparative Laws for Hesitant Fuzzy Cognitive Information and Their Application to Multiattribute Decision Making.	Cogn. Comput.	2021	DBLP DOI BibTeX RDF
18	Andrea Mesiarová-Zemánková	Natural partial order induced by a commutative, associative and idempotent function.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
18	Zengqiang Lin	Idempotent Completion of n-Angulated Categories.	Appl. Categorical Struct.	2021	DBLP DOI BibTeX RDF
18	Barry Fagin	Search Heuristics and Constructive Algorithms for Maximally Idempotent Integers.	Inf.	2021	DBLP DOI BibTeX RDF