Search results for "conjectures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Lorenzo Carlucci, Sanjay Jain 0001, Efim B. Kinber, Frank Stephan 0001	Variations on U-Shaped Learning.	COLT	2005	DBLP DOI BibTeX RDF
86	Deepak Kapur, Mahadevan Subramaniam	Extending Decision Procedures with Induction Schemes.	CADE	2000	DBLP DOI BibTeX RDF
71	Simon Colton	Making Conjectures about Maple Functions.	AISC	2002	DBLP DOI BibTeX RDF
69	Jemima Rossmorris, Susan Stepney	Requirements as Conjectures: Intuitive DVD Menu Navigation.	ZB	2005	DBLP DOI BibTeX RDF	requirements, Z, DVD, conjectures
65	Stephan Falke 0001, Deepak Kapur	Inductive Decidability Using Implicit Induction.	LPAR	2006	DBLP DOI BibTeX RDF
65	Simon Colton, Sophie Huczynska	The Homer System.	CADE	2003	DBLP DOI BibTeX RDF
60	Raman Sanyal, Axel Werner, Günter M. Ziegler	On Kalai's Conjectures Concerning Centrally Symmetric Polytopes.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Centrally symmetric convex polytopes, f-vector inequalities, Flag vectors, Kalai’s 3 d -conjecture, Equivariant rigidity, Hanner polytopes, Hansen polytopes, Central hypersimplices
54	Simon Colton	The HR Program for Theorem Generation.	CADE	2002	DBLP DOI BibTeX RDF
43	Michael Alekhnovich	More on Average Case vs Approximation Complexity.	FOCS	2003	DBLP DOI BibTeX RDF
39	Robert M. Gray, Tamás Linder	Results and Conjectures on High Rate Quantization.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
39	Graham Steel, Alan Bundy, Monika Maidl	Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.	IJCAR	2004	DBLP DOI BibTeX RDF
39	Raúl Monroy	Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	faulty specifications, program synthesis/transformation, abduction, proof planning
39	Serge Autexier, Carsten Schürmann	Disproving False Conjectures.	LPAR	2003	DBLP DOI BibTeX RDF
39	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
39	Martin Protzen	Disproving Conjectures.	CADE	1992	DBLP DOI BibTeX RDF
39	Jyrki Nummenmaa, Peter Thanisch	Conjectures and Refutations in Database Design and Dependency Theory.	ICDT	1990	DBLP DOI BibTeX RDF
34	Justine Falque	Classification des groupes P-oligomorphes, conjectures de Cameron et Macpherson. (Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson).		2019	RDF
34	Kaoutar Ghazi	Heuristiques et conjectures à propos de la 2-dimension des ordres partiels. (Heuristics and conjectures about the 2-dimension of partial orders).		2017	RDF
32	Haizhong Shi, Pan-feng Niu	Hamiltonian Decomposition of Some Interconnection Networks.	COCOA	2009	DBLP DOI BibTeX RDF	Hamiltonian decomposition, Cayley graph
32	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF
32	Mateja Jamnik, Alan Bundy	Psychological Validity of Schematic Proofs.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
32	Qi Cheng 0001, Ming-Deh A. Huang	On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem.	ISAAC	2004	DBLP DOI BibTeX RDF	partiallifting, Elliptic curve cryptosystem, discrete logarithm
32	Subhash Khot, Guy Kindler, Elchanan Mossel, Ryan O'Donnell	Optimal Inapproximability Results for Max-Cut and Other 2-Variable CSPs?	FOCS	2004	DBLP DOI BibTeX RDF
32	Sanjay Jain 0001, Efim B. Kinber	Learning Languages from Positive Data and Negative Counterexamples.	ALT	2004	DBLP DOI BibTeX RDF
32	Deepak Kapur, Mahadevan Subramaniam	Lemma Discovery in Automated Induction.	CADE	1996	DBLP DOI BibTeX RDF
31	Michael Ben-Or	Algebraic Computation Trees in Characteristi p>0 (Extended Abstract)	FOCS	1994	DBLP DOI BibTeX RDF	combinatorial method, algebraically closed fields, element distinctness problem, Weil conjectures, lower bounds, Zeta function, algebraic varieties, algebraic computation trees
31	Clyde P. Kruskal, Marc Snir, Alan Weiss	The Distribution of Waiting Times in Clocked Multistage Interconnection Networks.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	buffered interconnection networks, clocked multistage interconnection networks, random delay, multistage packet-switching banyan network, total delay distribution, spatial steady state, performance evaluation, delays, delays, multiprocessor interconnection networks, queueing theory, queueing theory, buffer storage, waiting times, formulas, conjectures, waiting times distribution
28	Carl de Boor	Multivariate polynomial interpolation: conjectures concerning GC-sets.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63, 41A10
28	H. F. Lu	On the Conjectures of SU(3) and AB Unitary Space-Time Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
28	Graham Steel, Alan Bundy	Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	cryptographic security protocols, counterexamples, superposition
28	Pascal Véron	Proof of Conjectures on the True Dimension of Some Binary Goppa Codes.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	trace operator, redundancy equation, parameters of Goppa codes, Goppa codes
28	Edward E. Allen, Jacquelyn S. Fetrow, David J. John, Stan J. Thomas	Heuristics for dependency conjectures in proteomic signaling pathways.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	glycolysis regulation, heuristics, computational biology, proteomics, signal transduction
28	Nadia Brauner, Gerd Finke	Robotic Cells: Configurations, Conjectures and Cycle Functions.	OR	2005	DBLP DOI BibTeX RDF
28	Chandra Nair, Balaji Prabhakar, Mayank Sharma	Proofs of the Parisi and Coppersmith-Sorkin Conjectures for the Finite Random Assignment Problem.	FOCS	2003	DBLP DOI BibTeX RDF
28	Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret	Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices.	AISC	2000	DBLP DOI BibTeX RDF
28	Matthew Geoffrey Parker	Conjectures on the Size of Constellations Constructed from Direct Sums of PSK Kernels.	AAECC	1999	DBLP DOI BibTeX RDF
28	Richard A. Shore	Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
28	Raúl Monroy, Alan Bundy, Andrew Ireland	Proof Plans for the Correction of False Conjectures.	LPAR	1994	DBLP DOI BibTeX RDF
22	Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller	Report on the EDBT/ICDT 2010 workshop on updates in XML.	SIGMOD Rec.	2010	DBLP DOI BibTeX RDF
22	György Elekes, Micha Sharir	Incidences in three dimensions and distinct distances in the plane.	SCG	2010	DBLP DOI BibTeX RDF	algebraic techniques, distinct distances, incidences
22	Eric Van Wyk, Mats Per Erik Heimdahl	Flexibility in modeling languages and tools: a call to arms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
22	Eyal Ackerman, Jacob Fox, János Pach, Andrew Suk	On grids in topological graphs.	SCG	2009	DBLP DOI BibTeX RDF	tur?n-type problems, grids, geometric graphs, topological graphs
22	Katherine A. Panciera, Aaron Halfaker, Loren G. Terveen	Wikipedians are born, not made: a study of power editors on Wikipedia.	GROUP	2009	DBLP DOI BibTeX RDF	power editors, collaboration, wiki, Wikipedia, contribution
22	Allan Sly	Reconstruction for the Potts model.	STOC	2009	DBLP DOI BibTeX RDF	reconstruction, Potts model
22	Audris Mockus	Succession: Measuring transfer of code and developer productivity.	ICSE	2009	DBLP DOI BibTeX RDF
22	Grant Olney Passmore, Paul B. Jackson	Combined Decision Techniques for the Existential Theory of the Reals.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
22	John Case, Samuel E. Moelius	U-shaped, iterative, and iterative-with-counter learning.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Gold-style learning, Iterative-with-counter learning, Memory limited learning, Non-U-shaped learning, Partly set-driven learning, Rearrangement independent learning, Set-driven learning, U-shape, U-shaped learning, Language learning, Inductive inference, Computational learning theory, Counter, Iterative learning
22	Seth Pettie	Splay trees, Davenport-Schinzel sequences, and the deque conjecture.	SODA	2008	DBLP BibTeX RDF
22	Takashi Matsuhisa	Bayesian Communication Leading to Nash Equilibrium Through Robust Messages - p -Belief System Case -.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Journal of Economic Literature Classification C62, C78
22	Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv	Labelled Clauses.	CADE	2007	DBLP DOI BibTeX RDF
22	David Jao, Dimitar Jetchev, Ramarathnam Venkatesan	On the Bits of Elliptic Curve Diffie-Hellman Keys.	INDOCRYPT	2007	DBLP DOI BibTeX RDF
22	John Case, Samuel E. Moelius	U-Shaped, Iterative, and Iterative-with-Counter Learning.	COLT	2007	DBLP DOI BibTeX RDF
22	Takashi Matsuhisa	Communication Leading to Nash Equilibrium Through Robust Messages - S5 -Knowledge Model Case -.	COCOA	2007	DBLP DOI BibTeX RDF	Robust message, Non-corporative game, S5-knowledge model, Communication, Protocol, Nash equilibrium, Conjecture
22	Daniel R. L. Brown, Kristian Gjøsteen	A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator.	CRYPTO	2007	DBLP DOI BibTeX RDF	Elliptic Curve Cryptography, Random Number Generation
22	Qi Cheng 0001, Ming-Deh A. Huang	Partial Lifting and the Elliptic Curve Discrete Logarithm Problem.	Algorithmica	2006	DBLP DOI BibTeX RDF
22	Takahito Aoto 0001	Dealing with Non-orientable Equations in Rewriting Induction.	RTA	2006	DBLP DOI BibTeX RDF
22	Albert Atserias	On Digraph Coloring Problems and Treewidth Duality.	LICS	2005	DBLP DOI BibTeX RDF
22	Wm. Benjamin Martz Jr., Venkateshwar K. Reddy	Looking for Indicators of Media Richness Theory in Distance Education.	HICSS	2005	DBLP DOI BibTeX RDF
22	Lucian Ilie, Pascal Ochem, Jeffrey O. Shallit	A Generalization of Repetition Threshold.	MFCS	2004	DBLP DOI BibTeX RDF
22	Takashi Matsuhisa	Communication Leading to Nash Equilibrium without Acyclic Condition (S4-Knowledge Model Case).	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Modal logic S4, Mutual learning, Non-corporative game, Communication, Protocol, Nash equilibrium, Knowledge, Information, Conjecture
22	Deepak Kapur, Mahadevan Subramaniam	Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.	ASIAN	2003	DBLP DOI BibTeX RDF
22	Hyungiu Park	Prime factorization of N-D polynomial matrices.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
22	Raúl Monroy	Concept Formation via Proof Planning Failure.	LPAR	2001	DBLP DOI BibTeX RDF
22	Jürgen Giesl, Deepak Kapur	Decidable Classes of Inductive Theorems.	IJCAR	2001	DBLP DOI BibTeX RDF
22	Evelyne Contejean, Antoine Coste, Benjamin Monate	Rewriting Techniques in Theoretical Physics.	RTA	2000	DBLP DOI BibTeX RDF
22	Alexei P. Stolboushkin, Michael A. Taitslin	Normalizable linear orders and generic computations in finite models.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
22	Predrag Janicic, Alan Bundy, Ian Green	A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers.	CADE	1999	DBLP DOI BibTeX RDF
22	Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou	Automatic Theorem Generation in Plane Geometry.	ISMIS	1993	DBLP DOI BibTeX RDF
22	Franz-Josef Brandenburg	Intersections of Some Families of Languages.	ICALP	1986	DBLP DOI BibTeX RDF
17	Daniele Bartoli, Matteo Bonini	More on the DLW conjectures.	Finite Fields Their Appl.	2024	DBLP DOI BibTeX RDF
17	Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott	Two Conjectures on the Stokes Complex in Three Dimensions on Freudenthal Meshes.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
17	Shuichi Hirahara, Nobutaka Shimizu	Planted Clique Conjectures Are Equivalent.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
17	Kim Hammar, Tao Li, Rolf Stadler, Quanyan Zhu	Automated Security Response through Online Learning with Adaptive Conjectures.	CoRR	2024	DBLP DOI BibTeX RDF
17	Paul Dorbec, Michael Anthony Henning	The 1/3-conjectures for domination in cubic graphs.	CoRR	2024	DBLP DOI BibTeX RDF
17	Yujun Yang, Can Xu	On two conjectures concerning spanning tree edge dependences of graphs.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
17	Yanfang Liang, Baoyindureng Wu	On some conjectures on biclique graphs.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
17	Daniel Johnston, P. Mark Kayll, Cory Palmer	Deranged Matchings: Proofs and Conjectures.	Am. Math. Mon.	2024	DBLP DOI BibTeX RDF
17	Jiangdong Ai, Stefanie Gerke, Gregory Z. Gutin, Shujing Wang 0003, Anders Yeo, Yacong Zhou	On Seymour's and Sullivan's second neighbourhood conjectures.	J. Graph Theory	2024	DBLP DOI BibTeX RDF
17	Valentina Pasqual, Gerald Manzano, Eduart Uzeir, Francesca Tomasi, Fabio Vitali	Evaluation of Expressing without asserting approaches in RDF. The case of Conjectures.	IRCDL	2024	DBLP BibTeX RDF
17	Nilanjan Bag, Antonio Rojas-León, Wenpeng Zhang 0001	On some conjectures on generalized quadratic Gauss sums and related problems.	Finite Fields Their Appl.	2023	DBLP DOI BibTeX RDF
17	Guoce Xin, Yueming Zhong	Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
17	Manal H. Algreagri, Ahmad M. Alghamdi	Remarks on Conjectures in Block Theory of Finite Groups.	Axioms	2023	DBLP DOI BibTeX RDF
17	Eman Bakhdher, Ahmad M. Alghamdi	Modular Conjectures for Direct Product of Finite Groups.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Bara Kim, Jeongsim Kim, Yan Su, Chia-Li Wang	Proofs of conjectures on the competition between observable and unobservable servers.	Queueing Syst. Theory Appl.	2023	DBLP DOI BibTeX RDF
17	Ross Drummond, Chris Guiver, Matthew C. Turner	Aizerman Conjectures for a Class of Multivariate Positive Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Barry Mazur, Karl Rubin	Arithmetic Conjectures Suggested by the Statistical Behavior of Modular Symbols.	Exp. Math.	2023	DBLP DOI BibTeX RDF
17	Chantal David, Matilde Lalín, Jungbae Nam	Conjectures for Moments Associated With Cubic Twists of Elliptic Curves.	Exp. Math.	2023	DBLP DOI BibTeX RDF
17	Minjia Shi, Shitao Li, Jon-Lark Kim	Two Conjectures on the Largest Minimum Distances of Binary Self-Orthogonal Codes With Dimension 5.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
17	Yupeng Jiang, Ming Li 0033, Dongdai Lin	Proofs of Conjectures on Extremal Weight De Bruijn Sequences.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
17	Giovanni Sileno, Jean-Louis Dessalles	Three Conjectures on Unexpectedeness.	CoRR	2023	DBLP DOI BibTeX RDF
17	Andrea Jiménez, Jessica McDonald, Reza Naserasr, Kathryn Nurse, Daniel A. Quiroz	Balanced-chromatic number and Hadwiger-like conjectures.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ali Kemal Uncu	Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A2 Rogers-Ramanujan Type Identities.	CoRR	2023	DBLP DOI BibTeX RDF
17	Juan Gutiérrez, Christian Valqui	On two conjectures about the intersection of longest paths and cycles.	CoRR	2023	DBLP DOI BibTeX RDF
17	Paulius Dilkas, Vaishak Belle	Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures.	CoRR	2023	DBLP DOI BibTeX RDF
17	Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper	Proving Conjectures Acquired by Composing Multiple Biases.	CoRR	2023	DBLP DOI BibTeX RDF
17	Huaijin Liang, Zengjing Chen	Proofs of the Ethier and Lee slot machine conjectures.	CoRR	2023	DBLP DOI BibTeX RDF
17	Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lio, Pietro Barbiero	Interpretable Graph Networks Formulate Universal Algebra Conjectures.	CoRR	2023	DBLP DOI BibTeX RDF
17	Yang Liu 0035, Ruihu Li, Luobin Guo, Hao Song 0003	Dimensions of nonbinary antiprimitive BCH codes and some conjectures.	Discret. Math.	2023	DBLP DOI BibTeX RDF
17	Arthur L. B. Yang	Stanley's conjectures on the Stern poset.	Discret. Math.	2023	DBLP DOI BibTeX RDF
17	Jeffrey O. Shallit, Sonja Linghui Shan, Kai-Hsiang Yang	Automatic sequences in negative bases and proofs of some conjectures of shevelev.	RAIRO Theor. Informatics Appl.	2023	DBLP DOI BibTeX RDF