Search results for "oracles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Donald Beaver, Joan Feigenbaum	Hiding Instances in Multioracle Queries.	STACS	1990	DBLP DOI BibTeX RDF
19	Yoram Moses	Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle.	DISC	2009	DBLP DOI BibTeX RDF	Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge
19	Scott Aaronson, Avi Wigderson	Algebrization: a new barrier in complexity theory.	STOC	2008	DBLP DOI BibTeX RDF	communication complexity, oracles, arithmetization, interactive proofs, query complexity, low-degree polynomials
19	Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori L. Pollock	Automated replay and failure detection for web applications.	ASE	2005	DBLP DOI BibTeX RDF	software testing, web applications, test oracles, replay
19	James H. Andrews	Case Study of Coverage-Checked Random Data Structure Testing.	ASE	2004	DBLP DOI BibTeX RDF	Testing, empirical software engineering, random testing, unit testing, test oracles
19	James H. Andrews, Yingjun Zhang	General Test Result Checking with Log File Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification
19	Ramesh Jagannathan, Paolo A. G. Sivilotti	Increasing client-side confidence in remote component implementations.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	trust, CORBA, CORBA, observability, test oracles, distributed components
19	James H. Andrews, Yingjun Zhang	Broad-spectrum studies of log file analysis.	ICSE	2000	DBLP DOI BibTeX RDF	testing, specification, test oracles, lightweight formal methods, safety verification
19	Rüdiger Westermann, Leif Kobbelt, Thomas Ertl	Real-time exploration of regular volume data by adaptive reconstruction of isosurfaces.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Isosurface reconstruction, Crack fixing, Refinement oracles, Volume Rendering, Level of detail
19	Harry Buhrman, Leen Torenvliet	Complicated Complementations.	CCC	1999	DBLP DOI BibTeX RDF	Oracles, Kolmogorov Complexity, Complexity Classes, Simplicity, Polynomial Hierarchy, Immunity
19	Oliver G. Staadt, Markus H. Gross, Roger Weber	Multiresolution compression and reconstruction.	IEEE Visualization	1997	DBLP DOI BibTeX RDF	wavelets, meshing, triangulation, isosurfaces, oracles, volumes, tetrahedralization
19	Jan Peleska 0001	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
19	Paul Ammann, Susan S. Brilliant, John C. Knight	The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	life testing, imperfect error detection, life testing, unobserved failures, confidence level, software testing, probability, software reliability, error detection, test cases, test oracles, critical systems, failure probability, software reliability assessment
14	Simon Larsson, Martin Viktorelius	Reducing the contingency of the world: magic, oracles, and machine-learning technology.	AI Soc.	2024	DBLP DOI BibTeX RDF
14	Yaowei Long, Yunfan Wang	Better Decremental and Fully Dynamic Sensitivity Oracles for Subgraph Connectivity.	CoRR	2024	DBLP DOI BibTeX RDF
14	Bhrij Patel, Wesley A. Suttle, Alec Koppel, Vaneet Aggarwal, Brian M. Sadler, Amrit Singh Bedi, Dinesh Manocha	Global Optimality without Mixing Time Oracles in Average-reward RL via Multi-level Actor-Critic.	CoRR	2024	DBLP DOI BibTeX RDF
14	Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia	L*LM: Learning Automata from Examples using Natural Language Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
14	James Bartusek, Zvika Brakerski, Vinod Vaikuntanathan	Quantum State Obfuscation from Classical Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
14	Fahad Rahman, Chafiq Titouna, Farid Naït-Abdesselam	Addressing Trust Challenges in Blockchain Oracles Using Asymmetric Byzantine Quorums.	CoRR	2024	DBLP DOI BibTeX RDF
14	Jiaqi Zhang, Kirankumar Shiragur, Caroline Uhler	Membership Testing in Markov Equivalence Classes via Independence Query Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
14	Franziska Eberle, Felix Hommelsheim, Alexander Lindermayr, Zhenwei Liu, Nicole Megow, Jens Schlöter	Accelerating Matroid Optimization through Fast Imprecise Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
14	Jonathan Katz, Benjamin Sela	A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles.	CoRR	2024	DBLP DOI BibTeX RDF
14	Bernhard Haeupler, Yaowei Long, Thatchaphol Saranurak	Dynamic Deterministic Constant-Approximate Distance Oracles with nε Worst-Case Update Time.	CoRR	2024	DBLP DOI BibTeX RDF
14	Kaito Harada, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa	Constructing Approximate Single-Source Distance Sensitivity Oracles in Nearly Linear Time.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ariyan Bighashdel, Yongzhao Wang, Stephen McAleer, Rahul Savani, Frans A. Oliehoek	Policy Space Response Oracles: A Survey.	CoRR	2024	DBLP DOI BibTeX RDF
14	Xueli Liu, Bowen Dong, Wenzhi Fu, Nannan Wu, Xin Wang, Wenjun Wang	Extending Graph Rules with Oracles.	Proc. VLDB Endow.	2024	DBLP BibTeX RDF
14	James Bartusek, Zvika Brakerski, Vinod Vaikuntanathan	Quantum State Obfuscation from Classical Oracles.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
14	Peter Alvaro, Manuel Rigger	Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing.	ACM Queue	2024	DBLP DOI BibTeX RDF
14	Adam Karczmarz	Max s, t-Flow Oracles and Negative Cycle Detection in Planar Digraphs.	SODA	2024	DBLP DOI BibTeX RDF
14	Hsien-Chih Chang, Jonathan Conroy, Hung Le 0001, Lazar Milenkovic, Shay Solomon, Cuong Than	Shortcut Partitions in Minor-Free Graphs: Steiner Point Removal, Distance Oracles, Tree Covers, and More.	SODA	2024	DBLP DOI BibTeX RDF
14	Greg Bodwin, Henry L. Fleischmann	Spanning Adjacency Oracles in Sublinear Time.	ITCS	2024	DBLP DOI BibTeX RDF
14	Patric Feldmeier, Gordon Fraser 0001	Neuroevolution-Based Generation of Tests and Oracles for Games.	Software Engineering	2024	DBLP DOI BibTeX RDF
14	Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac	'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.	CSLAW	2024	DBLP DOI BibTeX RDF
14	Pascal Bemmann, Sebastian Berndt 0001, Rongmao Chen	Subversion-Resilient Signatures Without Random Oracles.	ACNS (1)	2024	DBLP DOI BibTeX RDF
14	Marco Esposito, Francesco Bruschi, Manuel Montecalvo, Donatella Sciuto	Cognitive Oracles: Provable on-chain assessment through Validity Machine Learning.	PerCom Workshops	2024	DBLP DOI BibTeX RDF
14	Tiemo Bang, Conor Power, Siavash Ameli, Natacha Crooks, Joseph M. Hellerstein	Optimizing the cloud? Don't train models. Build oracles!	CIDR	2024	DBLP BibTeX RDF
14	Darshan Chakrabarti, Gabriele Farina, Christian Kroer	Efficient Learning in Polyhedral Games via Best-Response Oracles.	AAAI	2024	DBLP DOI BibTeX RDF
14	Lawqueen Kanesh, Fahad Panolan, M. S. Ramanujan 0001, Peter Strulo	Decremental Sensitivity Oracles for Covering and Packing Minors.	STACS	2024	DBLP DOI BibTeX RDF
14	Kevin Scaman, Mathieu Even, Batiste Le Bars, Laurent Massoulié	Minimax Excess Risk of First-Order Methods for Statistical Learning with Data-Dependent Oracles.	AISTATS	2024	DBLP BibTeX RDF
14	Mona Taghavi, Jamal Bentahar, Hadi Otrok, Kaveh Bakhtiyari	A reinforcement learning model for the reliability of blockchain oracles.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
14	Enayat Ullah, Harry Lang, Raman Arora, Vladimir Braverman	Clustering using Approximate Nearest Neighbour Oracles.	Trans. Mach. Learn. Res.	2023	DBLP BibTeX RDF
14	Debajyoti Ghosh, Jagan Sankaranarayanan, Kiran Khatter, Hanan Samet	In-Path Oracles for Road Networks.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
14	Matthias Babel, Vincent Gramlich, Claus Guthmann, Marcus Schober, Marc-Fabian Körner, Jens Strüker	Vertrauen durch digitale Identifizierung: Über den Beitrag von SSI zur Integration von dezentralen Oracles in Informationssysteme.	HMD Prax. Wirtsch.	2023	DBLP DOI BibTeX RDF
14	Huijun Zhu, Haseeb Ahmad, Qingji Xue, Tianfeng Li, Ziyu Liu, Ao Liu	New Constructions of Equality Test Scheme Without Random Oracles.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Hyung Tae Lee	Cryptanalysis of Zhu et al.'s Identity-Based Encryption With Equality Test Without Random Oracles.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Giulio Caldarelli	Before Ethereum. The Origin and Evolution of Blockchain Oracles.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Khaled Almi'ani, Young Choon Lee, Tawfiq Alrawashdeh, Amirmohammad Pasdar	Graph-Based Profiling of Blockchain Oracles.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Russell Impagliazzo, Valentine Kabanets, Ilya Volkovich	The Power of Natural Properties as Oracles.	Comput. Complex.	2023	DBLP DOI BibTeX RDF
14	François Morain, Guénaël Renault, Benjamin Smith 0003	Deterministic factoring with oracles.	Appl. Algebra Eng. Commun. Comput.	2023	DBLP DOI BibTeX RDF
14	Weisheng Lu, Jinfeng Lou, Liupengfei Wu	Combining Smart Construction Objects-Enabled Blockchain Oracles and Signature Techniques to Ensure Information Authentication and Integrity in Construction.	J. Comput. Civ. Eng.	2023	DBLP DOI BibTeX RDF
14	Ren Ishibashi, Kazuki Yoneyama	Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Kristóf Bérczi, Tamás Király, Yutaro Yamaguchi 0001, Yu Yokoi	Matroid Intersection under Restricted Oracles.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
14	Nirav Bhavsar, Prashanth L. A.	Nonasymptotic Bounds for Stochastic Optimization With Biased Noisy Gradient Oracles.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
14	Alex Creiner, Stephen Jackson	Borel complexity and Ramsey largeness of sets of oracles separating complexity classes.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
14	Doron Drusinsky, Matthew Litton, James Bret Michael	Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems.	Computer	2023	DBLP DOI BibTeX RDF
14	Liam Roditty, Roei Tov	Approximate distance oracles with improved stretch for sparse graphs.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Panagiotis Charalampopoulos, Pawel Gawrychowski, Yaowei Long, Shay Mozes, Seth Pettie, Oren Weimann, Christian Wulff-Nilsen	Almost Optimal Exact Distance Oracles for Planar Graphs.	J. ACM	2023	DBLP DOI BibTeX RDF
14	Noam Mazor	Key-Agreement with Perfect Completeness from Random Oracles.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
14	Zhuangfei Hu, Xinda Li 0001, David P. Woodruff, Hongyang Zhang 0001, Shufan Zhang	Recovery From Non-Decomposable Distance Oracles.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
14	Hsien-Chih Chang, Jonathan Conroy, Hung Le 0001, Lazar Milenkovic, Shay Solomon, Cuong Than	Shortcut Partitions in Minor-Free Graphs: Steiner Point Removal, Distance Oracles, Tree Covers, and More.	CoRR	2023	DBLP DOI BibTeX RDF
14	Davide Bilò, Shiri Chechik, Keerti Choudhary, Sarel Cohen, Tobias Friedrich 0001, Martin Schirneck	Improved Approximate Distance Oracles: Bypassing the Thorup-Zwick Bound in Dense Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bingbing Hu, Evangelos Kosinas, Adam Polak 0001	Connectivity Oracles for Predictable Vertex Failures.	CoRR	2023	DBLP DOI BibTeX RDF
14	Javier Sanchez-Rivero, Daniel Talaván, José García-Alonso, Antonio Ruiz-Cortés, Juan Manuel Murillo	Some Initial Guidelines for Building Reusable Quantum Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Avital Shafran, Ilia Shumailov, Murat A. Erdogdu, Nicolas Papernot	Beyond Labeling Oracles: What does it mean to steal ML models?	CoRR	2023	DBLP DOI BibTeX RDF
14	Michael Hoss	Checklist to Transparently Define Test Oracles for TP, FP, and FN Objects in Automated Driving.	CoRR	2023	DBLP DOI BibTeX RDF
14	Sebastian Forster, Gramoz Goranci, Yasamin Nazari, Antonis Skarlatos	Bootstrapping Dynamic Distance Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Giulia Preti, Gianmarco De Francisci Morales, Francesco Bonchi	Hyper-distance Oracles in Hypergraphs.	CoRR	2023	DBLP DOI BibTeX RDF
14	Xuefeng Liu, Takuma Yoneda, Chaoqi Wang, Matthew R. Walter, Yuxin Chen 0001	Active Policy Improvement from Multiple Black-box Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Darshan Chakrabarti, Gabriele Farina, Christian Kroer	Efficient Learning in Polyhedral Games via Best Response Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Paul Tarau	Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	MohammadHossein Bateni, Prathamesh Dharangutte, Rajesh Jayaram, Chen Wang	Metric Clustering and MST with Strong and Weak Distance Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Michael Elkin, Idan Shabat	Path-Reporting Distance Oracles with Near-Logarithmic Stretch and Linear Size.	CoRR	2023	DBLP DOI BibTeX RDF
14	Aditya Acharya, David M. Mount	Tracking Evolving labels using Cone based Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Davide Bilò, Keerti Choudhary, Sarel Cohen, Tobias Friedrich 0001, Simon Krogmann, Martin Schirneck	Fault-Tolerant ST-Diameter Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Tiemo Bang, Conor Power, Siavash Ameli, Natacha Crooks, Joseph M. Hellerstein	Optimizing the cloud? Don't train models. Build oracles!	CoRR	2023	DBLP DOI BibTeX RDF
14	Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac	'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Loukas Georgiadis, Evangelos Kosinas, Daniel Tsokaktsis	2-Fault-Tolerant Strong Connectivity Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Noah Golowich, Ankur Moitra, Dhruv Rohatgi	Exploring and Learning in Sparse Linear MDPs without Computationally Intractable Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Haoqin Tu, Bowen Yang, Xianfeng Zhao	ZeroGen: Zero-shot Multimodal Controllable Text Generation with Multiple Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Alejandra Duque-Torres, Claus Klammer, Dietmar Pfahl, Stefan Fischer 0006, Rudolf Ramler	Towards Automatic Generation of Amplified Regression Test Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Zhiwei Tang, Dmitry Rybin, Tsung-Hui Chang	Zeroth-Order Optimization Meets Human Feedback: Provable Learning via Ranking Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Adam Karczmarz	Max s, t-Flow Oracles and Negative Cycle Detection in Planar Digraphs.	CoRR	2023	DBLP DOI BibTeX RDF
14	Davide Bilò, Keerti Choudhary, Sarel Cohen, Tobias Friedrich 0001, Simon Krogmann, Martin Schirneck	Compact Distance Oracles with Large Sensitivity and Low Stretch.	CoRR	2023	DBLP DOI BibTeX RDF
14	Davide Bilò, Shiri Chechik, Keerti Choudhary, Sarel Cohen, Tobias Friedrich 0001, Simon Krogmann, Martin Schirneck	Approximate Distance Sensitivity Oracles in Subquadratic Space.	CoRR	2023	DBLP DOI BibTeX RDF
14	Adam Karczmarz, Piotr Sankowski	Sensitivity and Dynamic Distance Oracles via Generic Matrices and Frobenius Form.	CoRR	2023	DBLP DOI BibTeX RDF
14	Tsvi Kopelowitz, Ariel Korin, Liam Roditty	On the Space Usage of Approximate Distance Oracles with Sub-2 Stretch.	CoRR	2023	DBLP DOI BibTeX RDF
14	Greg Bodwin, Henry L. Fleischmann	Spanning Adjacency Oracles in Sublinear Time.	CoRR	2023	DBLP DOI BibTeX RDF
14	Kyungjin Cho, Jihun Shin, Eunjin Oh 0001	Approximate Distance and Shortest-Path Oracles for Fault-Tolerant Geometric Spanners.	CoRR	2023	DBLP DOI BibTeX RDF
14	Kevin Scaman, Mathieu Even, Laurent Massoulié	Generalization Error of First-Order Methods for Statistical Learning with Generic Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Giulio Caldarelli	From Reality Keys to Oraclize. A Deep Dive into the History of Bitcoin Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Wilson Wu	Learning Deterministic Finite Automata from Confidence Oracles.	CoRR	2023	DBLP DOI BibTeX RDF
14	Chhavi Sharma, Vishnu Narayanan, P. Balamurugan	Switch and Conquer: Efficient Algorithms By Switching Stochastic Gradient Oracles For Decentralized Saddle Point Problems.	CoRR	2023	DBLP DOI BibTeX RDF
14	Vladimir Gurvich, Mariya Naumova	Computing lexicographically safe Nash equilibria in finite two-person games with tight game forms given by oracles.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
14	Vasiliki Papadouli, Vagelis Papakonstantinou	A preliminary study on artificial intelligence oracles and smart contracts: A legal approach to the interaction of two novel technological breakthroughs.	Comput. Law Secur. Rev.	2023	DBLP DOI BibTeX RDF
14	Francesco Paolo Levantino	Generative and AI-powered oracles: "What will they say about you?".	Comput. Law Secur. Rev.	2023	DBLP DOI BibTeX RDF
14	Luca Farnia, Mia Alibegovic, Edward Cruickshank	On causal structural learning algorithms: Oracles' simulations and considerations.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
14	Muyan Shen, Chi Cheng, Xiaohan Zhang, Qian Guo 0001, Tao Jiang	Find the Bad Apples: An efficient method for perfect key recovery under imperfect SCA oracles - A case study of Kyber.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
14	Alexander May 0001, Carl Richard Theodor Schneider	Dlog is Practically as Hard (or Easy) as DH - Solving Dlogs via DH Oracles on EC Standards.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2023	DBLP DOI BibTeX RDF
14	Ayana T. Aspembitova, Michael A. Bentley	Oracles in Decentralized Finance: Attack Costs, Profits and Mitigation Measures.	Entropy	2023	DBLP DOI BibTeX RDF
14	Elaine Shi, Nikhil Vanjani	Multi-Client Inner Product Encryption: Function-Hiding Instantiations Without Random Oracles.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF