Search results for "correctability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Joan Feigenbaum, Lance Fortnow, Sophie Laplante, Ashish V. Naik	On Coherence, Random-self-reducibility, and Self-correction.	CCC	1996	DBLP DOI BibTeX RDF	self-correctability, random-self-reducibility, polynomial advice, adaptive versus nonadaptive oracle machines, Computational complexity, coherence, Kolmogorov complexity
55	Aris Zakinthinos, E. Stewart Lee	How and why feedback composition fails [secure systems].	CSFW	1996	DBLP DOI BibTeX RDF	feedback composition, generalized noninterference, secure components, n-forward correctability, system designer, security of data, composability, necessary and sufficient conditions, restrictiveness
49	Joan Feigenbaum, Martin Strauss 0001	An Information-Theoretic Treatment of Random-Self-Reducibility (Extended Abstract).	STACS	1997	DBLP DOI BibTeX RDF
31	Vinayak M. Kumar, Geoffrey Mon	Relaxed Local Correctability from Local Testing.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
31	Vinayak M. Kumar, Geoffrey Mon	Relaxed Local Correctability from Local Testing.	CoRR	2023	DBLP DOI BibTeX RDF
31	Mattia Cerrato, Alesia Vallenas Coronel, Marius Köppel	The Case for Correctability in Fair Machine Learning.	EWAF	2023	DBLP BibTeX RDF
31	Panagiota Birmpa, Jinchao Feng, Markos A. Katsoulakis, Luc Rey-Bellet	Model Uncertainty and Correctability for Directed Graphical Models.	SIAM/ASA J. Uncertain. Quantification	2022	DBLP DOI BibTeX RDF
31	Taro Shibayama, Yingkai Ouyang	The equivalence between correctability of deletions and insertions of separable states in quantum codes.	CoRR	2021	DBLP BibTeX RDF
31	Panagiota Birmpa, Jinchao Feng, Markos A. Katsoulakis, Luc Rey-Bellet	Model Uncertainty and Correctability for Directed Graphical Models.	CoRR	2021	DBLP BibTeX RDF
31	Taro Shibayama, Yingkai Ouyang	The equivalence between correctability of deletions and insertions of separable states in quantum codes.	ITW	2021	DBLP DOI BibTeX RDF
31	Fuchun Liu, Rixiang Mo	Correctability of fault-tolerant stochastic discrete-event systems.	Syst. Control. Lett.	2017	DBLP DOI BibTeX RDF
31	Shinya Fukumoto, Tadashi Wadayama	Iterative erasure correcting algorithm for q-ary reed-muller codes based on local correctability.	ISTC	2016	DBLP DOI BibTeX RDF
31	Brett Hemenway, Rafail Ostrovsky, Mary Wootters	Local correctability of expander codes.	Inf. Comput.	2015	DBLP DOI BibTeX RDF
31	Brett Hemenway, Rafail Ostrovsky, Mary Wootters	Local Correctability of Expander Codes	CoRR	2013	DBLP BibTeX RDF
31	Brett Hemenway, Rafail Ostrovsky, Mary Wootters	Local Correctability of Expander Codes.	ICALP (1)	2013	DBLP DOI BibTeX RDF
31	H. K. Hsiao, Hsiu-Hsia Lin, S. S. Yu	The decodability and correctability of codes.	Int. J. Comput. Math.	2010	DBLP DOI BibTeX RDF
31	Widad Machmouchi	Local-Testability and Self-Correctability of q-ary Sparse Linear Codes	CoRR	2010	DBLP BibTeX RDF
31	Widad Machmouchi	Local-testability and self-correctability of q-ary sparse linear codes.	ISIT	2010	DBLP DOI BibTeX RDF
31	Mauricio Amaral de Almeida, Hakim Lounis, Walcélio L. Melo	An Investigation on the Use of Machine Learned Models for Estimating Software Correctability.	Int. J. Softw. Eng. Knowl. Eng.	1999	DBLP DOI BibTeX RDF
31	Jonathan K. Millen	Unwinding Forward Correctability.	J. Comput. Secur.	1995	DBLP DOI BibTeX RDF
31	Jonathan K. Millen	Unwinding Forward Correctability.	CSFW	1994	DBLP DOI BibTeX RDF
31	Kikuo Fujimura, Pankaj Jalote	On Robustness of B-Trees.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	index corruption, pointer corruption, structural error, data structure, robustness, correctability, B-trees, tree data structures, semantic information
25	Tali Kaufman, Madhu Sudan 0001	Sparse Random Linear Codes are Locally Decodable and Testable.	FOCS	2007	DBLP DOI BibTeX RDF
25	Heiko Mantel	On the Composition of Secure Systems.	S&P	2002	DBLP DOI BibTeX RDF	composition, information flow, compositionality, noninterference, emergent properties
25	Dines Bjørner	Domain Engineering: A Software Engineering Discipline in Need of Research.	SOFSEM	2000	DBLP DOI BibTeX RDF