Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Mingyuan Zhang, Shivani Agarwal 0001	Bayes Consistency vs. H-Consistency: The Interplay between Surrogate Loss Functions and the Scoring Function Class.	NeurIPS	2020	DBLP BibTeX RDF
15	Richard J. Wallace	Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm.	AI*IA	2020	DBLP DOI BibTeX RDF
15	Jens Kosiol, Daniel Strüber 0001, Gabriele Taentzer, Steffen Zschaler	Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations.	ICGT	2020	DBLP DOI BibTeX RDF
15	Jack Waudby, Paul D. Ezhilchelvan, Jim Webber, Isi Mitrani	Preserving reciprocal consistency in distributed graph databases.	PaPoC@EuroSys	2020	DBLP DOI BibTeX RDF
15	Albert van der Linde, Pedro Fouto, João Leitão 0001, Nuno M. Preguiça	The intrinsic cost of causal consistency.	PaPoC@EuroSys	2020	DBLP DOI BibTeX RDF
15	Albert van der Linde, Diogo Serra, João Leitão 0001, Nuno M. Preguiça	On combining fault tolerance and partial replication with causal consistency.	PaPoC@EuroSys	2020	DBLP DOI BibTeX RDF
15	Faisal Nawab	Weaker Consistency Models/Eventual Consistency.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
15	Azalea Raad, Marko Doko, Lovro Rozic, Ori Lahav 0001, Viktor Vafeiadis	On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
15	Peng Wu 0010, Hongyan Li, Ligang Zhou, Huayou Chen	Consistency analysis and priority weights of multiplicative trapezoidal fuzzy preference relations based on multiplicative consistency and logarithmic least square model.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
15	Cong-Cong Li, Yucheng Dong, Yejun Xu, Francisco Chiclana, Enrique Herrera-Viedma, Francisco Herrera	An overview on managing additive consistency of reciprocal preference relations for consistency-driven decision making and fusion: Taxonomy and future directions.	Inf. Fusion	2019	DBLP DOI BibTeX RDF
15	Diogo Lima, Hugo Miranda, François Taïani	Support of Strong Consistency on Fog Applications.	PaPoC@EuroSys	2019	DBLP DOI BibTeX RDF
15	Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix	A Generic Replicated Data Type for Strong Eventual Consistency.	PaPoC@EuroSys	2019	DBLP DOI BibTeX RDF
15	Cong-Cong Li, Rosa M. Rodríguez 0001, Luis Martínez 0001, Yucheng Dong, Francisco Herrera	Consistency of hesitant fuzzy linguistic preference relations: An interval consistency index.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
15	Jim Bauwens, Florian Myter, Elisa Gonzalez Boix	Constraining the eventual in eventual consistency.	PaPoC@EuroSys	2018	DBLP DOI BibTeX RDF
15	Marc Shapiro 0001, Annette Bieniusa, Peter Zeller 0001, Gustavo Petri	Ensuring referential integrity under causal consistency.	PaPoC@EuroSys	2018	DBLP DOI BibTeX RDF
15	Kia Rahmani, Gowtham Kaki, Suresh Jagannathan	Fine-grained distributed consistency guarantees with effect orchestration.	PaPoC@EuroSys	2018	DBLP DOI BibTeX RDF
15	Wei Zhang 0021, Shengnan Hu, Kan Liu 0001, Jian Yao	Motion-free exposure fusion based on inter-consistency and intra-consistency.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
15	Bekir Sahin	Consistency control and expert consistency prioritization for FFTA by using extent analysis method of trapezoidal FAHP.	Appl. Soft Comput.	2017	DBLP DOI BibTeX RDF
15	Luciana C. Fiorini, José Alvaro Rodrigues-Neto	Self-consistency, consistency and cycles in non-partitional knowledge models.	Math. Soc. Sci.	2017	DBLP DOI BibTeX RDF
15	Beom Heyn Kim, Sukwon Oh, David Lie	Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.	HotOS	2017	DBLP DOI BibTeX RDF
15	Dionisis Margaris, Costas Vassilakis	Enhancing User Rating Database Consistency Through Pruning.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
15	Gonçalo Marcelino, Valter Balegas, Carla Ferreira 0001	Bringing Hybrid Consistency Closer to Programmers.	PaPoC@EuroSys	2017	DBLP DOI BibTeX RDF
15	João Loff, Daniel Porto 0002, Carlos Baquero, João Garcia 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001	Transparent cross-system consistency.	PaPoC@EuroSys	2017	DBLP DOI BibTeX RDF
15	Ali Shoker, Houssam Yactine, Carlos Baquero	As Secure as Possible Eventual Consistency: Work in Progress.	PaPoC@EuroSys	2017	DBLP DOI BibTeX RDF
15	Nosheen Zaza, Nathaniel Nystrom	Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency.	PMLDC@ECOOP	2016	DBLP DOI BibTeX RDF
15	Davide Frey, Achour Mostéfaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani	Speed for the Elite, Consistency for the Masses: Differentiating Eventual Consistency in Large-Scale Distributed Systems.	SRDS	2016	DBLP DOI BibTeX RDF
15	Valter Balegas, Sérgio Duarte, Carla Ferreira 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001	Making weak consistency great again.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
15	Tobias Herb, Tim Jungnickel, Christoph Alt	Weak consistency and stochastic environments: harmonization of replicated machine learning models.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
15	Paolo Viotti, Christopher Meiklejohn, Marko Vukolic	Towards property-based consistency verification.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
15	Jared Warren	Conventionalism, consistency, and consistency sentences.	Synth.	2015	DBLP DOI BibTeX RDF
15	Shraddha P. Phansalkar, Ajay R. Dani	Tunable consistency guarantees of selective data consistency model.	J. Cloud Comput.	2015	DBLP DOI BibTeX RDF
15	Atiq ur Rehman, Etienne E. Kerre, Samina Ashraf	Group Decision Making by Using Incomplete Fuzzy Preference Relations Based on T-Consistency and the Order Consistency.	Int. J. Intell. Syst.	2015	DBLP DOI BibTeX RDF
15	Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara	The consistency and absolute consistency problems of XML schema mappings between restricted DTDs.	World Wide Web	2015	DBLP DOI BibTeX RDF
15	Simon Quaschning, Mario Pandelaere, Iris Vermeir	When Consistency Matters: The Effect of Valence Consistency on Review Helpfulness.	J. Comput. Mediat. Commun.	2015	DBLP DOI BibTeX RDF
15	Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd	Existential consistency: measuring and understanding consistency at Facebook.	SOSP	2015	DBLP DOI BibTeX RDF
15	Valter Balegas, Sérgio Duarte, Carla Ferreira 0001, Rodrigo Rodrigues 0001, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro 0001	Putting consistency back into eventual consistency.	EuroSys	2015	DBLP DOI BibTeX RDF
15	Bernhard Hoisl, Stefan Sobernig	Consistency Rules for UML-based Domain-specific Language Models: A Literature Review.	ACES-MB&WUCOR@MoDELS	2015	DBLP BibTeX RDF
15	Alejandro Z. Tomsic, Tyler Crain, Marc Shapiro 0001	An empirical perspective on causal consistency.	PaPoC@EuroSys	2015	DBLP DOI BibTeX RDF
15	Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira 0008	On the consistency of heterogeneous composite objects.	PaPoC@EuroSys	2015	DBLP DOI BibTeX RDF
15	Shyi-Ming Chen, Tsung-En Lin, Li-Wei Lee	Group decision making using incomplete fuzzy preference relations based on the additive consistency and the order consistency.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
15	Sheng Wei 0001, Miodrag Potkonjak	Self-Consistency and Consistency-Based Detection and Diagnosis of Malicious Circuitry.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
15	Steven Cheng, Lisa Higham, Jalal Kawash	Partition consistency - A case study in modeling systems with weak memory consistency and proving correctness of their implementations.	Distributed Comput.	2014	DBLP DOI BibTeX RDF
15	Qin Liu 0001, Guojun Wang 0001, Jie Wu 0001	Consistency as a Service: Auditing Cloud Consistency.	IEEE Trans. Netw. Serv. Manag.	2014	DBLP DOI BibTeX RDF
15	Jinsong Guo, Hongbo Li 0005, Zhanshan Li, Yonggang Zhang, Xianghua Jia	Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.	Int. J. Artif. Intell. Tools	2014	DBLP DOI BibTeX RDF
15	Radha Jagadeesan, James Riely	Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency.	CoRR	2014	DBLP BibTeX RDF
15	Ehud Lehrer, Dov Samet	Belief consistency and trade consistency.	Games Econ. Behav.	2014	DBLP DOI BibTeX RDF
15	Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre	Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.	CPAIOR	2014	DBLP DOI BibTeX RDF
15	Radha Jagadeesan, James Riely	Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency.	ICALP (2)	2014	DBLP DOI BibTeX RDF
15	Marco Console, Maurizio Lenzerini	Reducing global consistency to local consistency in Ontology-based Data Access.	ECAI	2014	DBLP DOI BibTeX RDF
15	Marco Console, Maurizio Lenzerini	Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract.	Description Logics	2014	DBLP BibTeX RDF
15	Sylvain Lefebvre 0002, Sathiya Prabhu Kumar, Raja Chiky	Simizer: evaluating consistency trade offs through simulation.	PaPEC@EuroSys	2014	DBLP DOI BibTeX RDF
15	Szymon Francuzik, Cezary Sobaniec, Dariusz Wawrzyniak	A generic model of consistency guarantees for replicated services.	PaPEC@EuroSys	2014	DBLP DOI BibTeX RDF
15	Pawel T. Wojciechowski, Konrad Siek	Having your cake and eating it too: combining strong and eventual consistency.	PaPEC@EuroSys	2014	DBLP DOI BibTeX RDF
15	Steven Cheng, Lisa Higham, Jalal Kawash	Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations.	CoRR	2013	DBLP BibTeX RDF
15	Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara	The Consistency and Absolute Consistency Problems of XML Schema Mappings between Restricted DTDs.	APWeb	2013	DBLP DOI BibTeX RDF
15	Philip M. Long, Rocco A. Servedio	Consistency versus Realizable H-Consistency for Multiclass Classification.	ICML (3)	2013	DBLP BibTeX RDF
15	Shyi-Ming Chen, Tsung-En Lin, Li-Wei Lee	A new method for group decision making using incomplete fuzzy preference relations based on the additive consistency and the order consistency.	ICMLC	2013	DBLP DOI BibTeX RDF
15	Li-Wei Lee	Group decision making with incomplete fuzzy preference relations based on the additive consistency and the order consistency.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
15	Nouhad Amaneddine, Jean-François Condotta	From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.	AIMSA	2012	DBLP DOI BibTeX RDF
15	Jinsong Guo, Zhanshan Li, Yonggang Zhang	Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.	ICTAI	2012	DBLP DOI BibTeX RDF
15	Aline Deruyver, Yann Hodé, Jean-Michel Jolion	Graph Consistency Checking: a Tool to Check the Semantic Consistency of a Segmentation.	Int. J. Semantic Comput.	2011	DBLP DOI BibTeX RDF
15	David Bermbach, Stefan Tai	Eventual consistency: How soon is eventual? An evaluation of Amazon S3's consistency behavior.	MW4SOC	2011	DBLP DOI BibTeX RDF
15	Bice Cavallo, Livia D'Apuzzo, Gabriella Marcarelli	Pairwise Comparison Matrices: Some Issue on Consistency and a New Consistency Index.	Preferences and Decisions	2010	DBLP DOI BibTeX RDF
15	Markus Klems, Michael Menzel 0002, Robin Fischer	Consistency Benchmarking: Evaluating the Consistency Behavior of Middleware Services in the Cloud.	ICSOC	2010	DBLP DOI BibTeX RDF
15	Christian Bessiere, Thierry Petit, Bruno Zanuttini	Making Bound Consistency as Effective as Arc Consistency.	IJCAI	2009	DBLP BibTeX RDF
15	Marlene Arangú, Miguel A. Salido, Federico Barber	2-C3: From Arc-Consistency to 2-Consistency.	SARA	2009	DBLP BibTeX RDF
15	Yan-An Hwang, Yu-Hsien Liao	Max-consistency, complement-consistency and the core of fuzzy games.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
15	Francisco J. Torres-Rojas, Esteban Meneses	Convergence Through a Weak Consistency Model: Timed Causal Consistency.	CLEI Electron. J.	2005	DBLP DOI BibTeX RDF
15	Vadim Iosevich, Assaf Schuster	Software Distributed Shared Memory: a VIA-based implementation and comparison of sequential consistency with home-based lazy release consistency.	Softw. Pract. Exp.	2005	DBLP DOI BibTeX RDF
15	Yuan Zhang, Weirong Zhu, Fei Chen, Ziang Hu, Guang R. Gao	Sequential Consistency Revisit: The Sufficient Condition and Method to Reason the Consistency Model of a Multiprocessor-on-a-Chip Architecture.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
15	Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa	Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.	IJCAI	2005	DBLP BibTeX RDF
15	Toru Hokari, Özgür Kibris	Consistency, converse consistency, and aspirations in TU-games.	Math. Soc. Sci.	2003	DBLP DOI BibTeX RDF
15	Adam D. Bradley, Azer Bestavros	Basis token consistency: supporting strong Web cache consistency.	GLOBECOM	2002	DBLP DOI BibTeX RDF
15	Romuald Debruyne, Christian Bessière	From Restricted Path Consistency to Max-Restricted Path Consistency.	CP	1997	DBLP DOI BibTeX RDF
15	T. Cornilleau, Eric Gressier-Soudan	A Combined-Consistency Approach: Sequential&Causal-Consistency.	ACM SIGOPS Oper. Syst. Rev.	1996	DBLP DOI BibTeX RDF
15	Amar Isli, Hachemi Bennaceur	Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.	TIME	1996	DBLP DOI BibTeX RDF
15	Christian Bessière	Arc-Consistency and Arc-Consistency Again.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
15	Christian Bessière, Marie-Odile Cordier	Arc-Consistency and Arc-Consistency Again.	AAAI	1993	DBLP BibTeX RDF
15	George Stephen Boolos	On Kalmar's consistency proof and a generalization of the notion of ω-consistency.	Arch. Math. Log.	1975	DBLP DOI BibTeX RDF
15	Alex Costa, José Maria Monteiro, Angelo Brayner	A distributed protocol for ensuring replicated database consistency in mobile computing environments.	SAC	2010	DBLP DOI BibTeX RDF	mobile computing, concurrency control, data replication
15	Austin Parker, Guillaume Infantes, John Grant, V. S. Subrahmanian	SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
15	Ulas Ziyan, Mert R. Sabuncu, W. Eric L. Grimson, Carl-Fredrik Westin	Consistency Clustering: A Robust Algorithm for Group-wise Registration, Segmentation and Automatic Atlas Construction in Diffusion MRI.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Anatomical atlas, Diffusion imaging, White matter atlas, Clustering, Segmentation, DTI, Tractography
15	Hao Ma 0001, Haixuan Yang, Irwin King, Michael R. Lyu	Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering.	CIKM	2009	DBLP DOI BibTeX RDF	optimization, recommender systems, collaborative filtering, matrix factorization
15	Matthias Biehl, Welf Löwe	Automated Architecture Consistency Checking for Model Driven Software Development.	QoSA	2009	DBLP DOI BibTeX RDF
15	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
15	Alessandro Lanza, Luigi Di Stefano, Luca Soffritti	Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection.	AVSS	2009	DBLP DOI BibTeX RDF
15	Gurman Gill, Martin Levine	Multi-view Object Detection Based on Spatial Consistency in a Low Dimensional Space.	DAGM-Symposium	2009	DBLP DOI BibTeX RDF
15	Peter Henderson 0001, Matthew J. Henderson	Consistency Checking for Component Reuse in Open Systems.	ICSR	2009	DBLP DOI BibTeX RDF
15	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
15	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	Consistency Checking for LSC Specifications.	TASE	2009	DBLP DOI BibTeX RDF
15	Anil Nerode, Jeffrey B. Remmel	Consistency properties and set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
15	Zhenyu Li 0001, Gaogang Xie, Zhongcheng Li	Efficient and Scalable Consistency Maintenance for Heterogeneous Peer-to-Peer Systems.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
15	Gemma Robles, José M. Méndez	The basic constructive logic for a weak sense of consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation
15	Gemma Robles	The Basic Constructive Logic for Negation-Consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation
15	Carito Guziolowski, Jeremy Gruel, Ovidiu Radulescu, Anne Siegel	Curating a Large-Scale Regulatory Network by Evaluating Its Consistency with Expression Datasets.	CIBB	2008	DBLP DOI BibTeX RDF
15	H'sien J. Wong, Jie Cai, Alistair P. Rendell, Peter E. Strazdins	Micro-benchmarks for Cluster OpenMP Implementations: Memory Consistency Costs.	IWOMP	2008	DBLP DOI BibTeX RDF
15	Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao	A Verification Method for Temporal Consistency of Service Flow.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking
15	Guoquan P. Huang 0001, Anastasios I. Mourikis, Stergios I. Roumeliotis	A First-Estimates Jacobian EKF for Improving SLAM Consistency.	ISER	2008	DBLP DOI BibTeX RDF
15	Dirk Deridder, Jeff Gray 0001, Alfonso Pierantonio, Pierre-Yves Schobbens	Model Co-evolution and Consistency Management (MCCM'08).	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
15	Philip H. Carns, Bradley W. Settlemyer, Walter B. Ligon III	Using server-to-server communication in parallel file systems to simplify consistency and improve performance.	SC	2008	DBLP DOI BibTeX RDF