|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 57 occurrences of 46 keywords
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
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 |
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|