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