Search results for "bd-ramsey"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	L. Thomas Ramsey, David Gribble	Information-theoretic compressibility of speech data.	ICASSP	1987	DBLP DOI BibTeX RDF
21	Bruce D. Ramsey	The lion and the unicorn met PROLOG.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
21	Connie Loggia Ramsey, James A. Reggia, Dana S. Nau, Andrew Ferrentino	A Comparative Analysis of Methods for Expert Systems.	Int. J. Man Mach. Stud.	1986	DBLP DOI BibTeX RDF
21	Bill Curtis, Elliot Soloway, Ruven E. Brooks, John B. Black, Kate Ehrlich, H. Rudy Ramsey	Software psychology: The need for an interdisciplinary program.	Proc. IEEE	1986	DBLP DOI BibTeX RDF
21	Victor R. Basili, Elizabeth E. Katz, Nora Monina Panlilio-Yap, Connie Loggia Ramsey, Shih Chang	Characterization of an Ada Software Development.	Computer	1985	DBLP DOI BibTeX RDF
21	J. Ramsey, Victor R. Basili	Analyzing the Test Process Using Structural Coverage.	ICSE	1985	DBLP BibTeX RDF
21	H. Rudy Ramsey, Michael E. Atwood, James R. Van Doren	Flowcharts Versus Program Design Languages: An Experimental Comparison.	Commun. ACM	1983	DBLP DOI BibTeX RDF
21	Elwyn R. Berlekamp, John L. Ramsey	Readable erasures improve the performance of Reed-Solomon codes (Corresp.).	IEEE Trans. Inf. Theory	1978	DBLP DOI BibTeX RDF
21	Brian S. Ramsey, Robert L. Cannon Jr.	A VSAM PL/I interface.	ACM-SE	1978	DBLP DOI BibTeX RDF
21	H. Rudy Ramsey, James D. Baker, Richard W. Pew	Human factors (Tutorial Session).	ACM Annual Conference	1976	DBLP DOI BibTeX RDF
21	John L. Ramsey	Realization of optimum interleavers.	IEEE Trans. Inf. Theory	1970	DBLP DOI BibTeX RDF
21	John L. Ramsey	On the effectiveness of coding for HF AUTODIN (Corresp.).	IEEE Trans. Inf. Theory	1968	DBLP DOI BibTeX RDF
14	Giovanni Sartor	Legal concepts as inferential nodes and ontological categories.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Legal concepts, Ontology, Inference
14	Albert Atserias, Mark Weyer	Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems.	CSL	2009	DBLP DOI BibTeX RDF
14	Pascal Fontaine	Combinations of Theories for Decidable Fragments of First-Order Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
14	Thomas Wies, Ruzica Piskac, Viktor Kuncak	Combining Theories with Shared Set Operations.	FroCoS	2009	DBLP DOI BibTeX RDF
14	Christian Glaßer	Space-Efficient Informational Redundancy.	ISAAC	2008	DBLP DOI BibTeX RDF
14	Fernando Magno Quintão Pereira, Jens Palsberg	Register allocation by puzzle solving.	PLDI	2008	DBLP DOI BibTeX RDF	puzzle solving, register aliasing, register allocation
14	Shachar Lovett, Roy Meshulam, Alex Samorodnitsky	Inverse conjecture for the gowers norm is false.	STOC	2008	DBLP DOI BibTeX RDF	gowers norm, multivariate polynomials, low degree tests
14	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
14	Lina Eriksson, Alan Hájek	What Are Degrees of Belief?	Stud Logica	2007	DBLP DOI BibTeX RDF	probabilism, betting interpretation, Dutch book argument, radical interpretation, primitivism, rationality, representation theorem, degrees of belief
14	Neil A. M. Maiden, Ian F. Alexander	From the Horse's Mouth.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	requirements
14	Eyal Lubetzky, Uri Stav	Non-Linear Index Coding Outperforming the Linear Optimum.	FOCS	2007	DBLP DOI BibTeX RDF
14	Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira	Aliased Register Allocation for Straight-Line Programs Is NP-Complete.	ICALP	2007	DBLP DOI BibTeX RDF
14	Jon M. Kleinberg	Challenges in mining social network data: processes, privacy, and paradoxes.	KDD	2007	DBLP DOI BibTeX RDF	privacy in data mining, data mining, social networks, anonymization, diffusion of innovations
14	Thomas Colcombet	Factorisation Forests for Infinite Words.	FCT	2007	DBLP DOI BibTeX RDF	infinite words, automata, Formal languages, semigroups
14	Saugata Basu	Combinatorial complexity in O-minimal geometry.	STOC	2007	DBLP DOI BibTeX RDF	O-minimal structures, combinatorial complexity, Betti numbers
14	Olgica Milenkovic, Navin Kashyap, David Leyba	Shortened Array Codes of Large Girth.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
14	Sanjeev Arora, László Lovász 0001, Ilan Newman, Yuval Rabani, Yuri Rabinovich, Santosh S. Vempala	Local versus global properties of metric spaces.	SODA	2006	DBLP DOI BibTeX RDF
14	Oswin Aichholzer, Clemens Huemer, Sarah Kappes, Bettina Speckmann, Csaba D. Tóth	Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles.	MFCS	2006	DBLP DOI BibTeX RDF
14	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
14	Avi Wigderson	Applications of the Sum-Product Theorem in Finite Fields.	CCC	2006	DBLP DOI BibTeX RDF
14	Ben Green 0001	Counting Sets With Small Sumset, And The Clique Number Of Random Cayley Graphs.	Comb.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 11B75
14	János Pach, Gábor Tardos	Forbidden patterns and unit distances.	SCG	2005	DBLP DOI BibTeX RDF	0-1 matrix, extremal combinatorics, forbidden patterns, interval chromatic number, unit-distance graph
14	Ronen Gradwohl, Guy Kindler, Omer Reingold, Amnon Ta-Shma	On the Error Parameter of Dispersers.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
14	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential second-order logic over graphs: Charting the tractability frontier.	J. ACM	2004	DBLP DOI BibTeX RDF	Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory
14	Peter Roeper	A Sequent Formulation of Conditional Logic Based on Belief Change Operations.	Stud Logica	2004	DBLP DOI BibTeX RDF	epistemic state, expansion, revision, belief change, conditional logic
14	Boaz Barak, Russell Impagliazzo, Avi Wigderson	Extracting Randomness Using Few Independent Sources.	FOCS	2004	DBLP DOI BibTeX RDF
14	Lorenz Halbeisen, Pierre Matet	A generalization of the Dual Ellentuck Theorem.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
14	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski	Satisfiability and Computing van der Waerden Numbers.	SAT	2003	DBLP DOI BibTeX RDF
14	András Gyárfás	Transitive Edge Coloring of Graphs and Dimension of Lattices.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) 05C15
14	József Beck	Positional Games and the Second Moment Method.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 91A24
14	Pavel Pudlák	Cycles of Nonzero Elements in Low Rank Matrices.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C99, 15A99, 68R10
14	Igor Pak	Mixing time and long paths in graphs.	SODA	2002	DBLP BibTeX RDF
14	Amnon Ta-Shma, David Zuckerman	Extractor codes.	STOC	2001	DBLP DOI BibTeX RDF
14	Noga Alon, Richard Beigel	Lower Bounds for Approximations by Low Degree Polynomials Over Zm.	CCC	2001	DBLP DOI BibTeX RDF
14	Ilijas Farah	Approximate Homomorphisms II: Group Homomorphisms.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D99, 20D99, 28A35, 28A60
14	Imre Bárány, Gyula Károlyi	Problems and Results around the Erdös-Szekeres Convex Polygon Theorem.	JCDCG	2000	DBLP DOI BibTeX RDF
14	Subhash Khot, Venkatesh Raman 0001	Parameterized Complexity of Finding Subgraphs with Hereditary Properties.	COCOON	2000	DBLP DOI BibTeX RDF
14	Mario Chiari, Jan Krajícek	Lifting independence results in bounded arithmetic.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
14	Manfred Droste, Dietrich Kuske	On Recognizable Languages in Divisibility Monoids.	FCT	1999	DBLP DOI BibTeX RDF
14	Guoli Ding, Bogdan Oporowski, Daniel P. Sanders, Dirk Vertigan	Partitioning Graphs of Bounded Tree-Width.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C15, 05C05, 05C55
14	Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong	Relational Expressive Power of Constraint Query Languages.	J. ACM	1998	DBLP DOI BibTeX RDF	constraint query language, database, constraints, expressive power, relational calculus
14	Enrique Casanovas	A test for expandability.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): Primary 03C45, 03G50
14	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	ICDT	1997	DBLP DOI BibTeX RDF
14	Belaid Benhamou, Lakhdar Sais, Pierre Siegel	Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.	STACS	1994	DBLP DOI BibTeX RDF	symmetry and cardinality, theorem proving, propositional calculus
14	Tim van Gelder	Connectionism and the mind-body problem: exposing the distinction between mind and cognition.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	mind-body problem, folk psychology, eliminativism, ontology, cognition, belief, connectionism, mind
14	David Eppstein	New Algorithms for Minimum Area k-gons.	SODA	1992	DBLP BibTeX RDF
14	David A. Basin	Building Theories in Nuprl.	Logic at Botik	1989	DBLP DOI BibTeX RDF
14	Hans Rott	A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
13	Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche	Ramsey Quantifiers in Linear Arithmetics.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	Pedro Araújo, Taísa Martins, Letícia Mattos, Walner Mendonça, Luiz Moreira, Guilherme Oliveira Mota	On the Anti-Ramsey Threshold for Non-Balanced Graphs.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
13	Meng Liu, Yusheng Li	A Note on Ramsey Numbers Involving Large Books.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
13	Domenico Mergoni Cecchelli, Peter Allen 0001, Jozef Skokan, Barnaby Roberts	The Ramsey Numbers of Squares of Paths and Cycles.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
13	Simona Boyadzhiyska, Dennis Clemens, Pranshu Gupta, Jonathan Rollin	Ramsey Equivalence for Asymmetric Pairs of Graphs.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Domagoj Bradac, Lior Gishboliner, Benny Sudakov	On Ramsey Size-Linear Graphs and Related Questions.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Konstantin E. Tikhomirov	On Bounded Degree Graphs with Large Size-Ramsey Numbers.	Comb.	2024	DBLP DOI BibTeX RDF
13	Xun Chen, Qizhong Lin	New upper bounds for Ramsey numbers of books.	Eur. J. Comb.	2024	DBLP DOI BibTeX RDF
13	Siddhartha Jain 0002, Jiawei Li, Robert Robere, Zhiyang Xun	On Pigeonhole Principles and Ramsey in TFNP.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
13	Fawwaz Fakhrurrozi Hadiputra, Valentino Vito	Infinite Ramsey-Minimal Graphs for Star Forests.	Graphs Comb.	2024	DBLP DOI BibTeX RDF
13	Mohammed A. Mutar, Vaidy Sivaraman, Daniel C. Slilaty	Signed Ramsey Numbers.	Graphs Comb.	2024	DBLP DOI BibTeX RDF
13	Vadim V. Lozin	Ramsey Numbers and Graph Parameters.	Graphs Comb.	2024	DBLP DOI BibTeX RDF
13	Siddhartha Jain 0002, Jiawei Li, Robert Robere, Zhiyang Xun	On Pigeonhole Principles and Ramsey in TFNP.	CoRR	2024	DBLP DOI BibTeX RDF
13	Luyi Li, Xueliang Li 0001, Yuan Si	Gallai-Ramsey numbers for 3-uniform rainbow Berge triangles and monochromatic linear paths or cycles.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
13	Zemin Jin, Rui Yu, Yuefang Sun	Anti-Ramsey number of matchings in outerplanar graphs.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
13	Yucong Tang, Tong Li, Guiying Yan	Anti-Ramsey number of disjoint union of star-like hypergraphs.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	L. Sunil Chandran, Talha Hashim, Dalu Jacob, Rogers Mathew, Deepak Rajendraprasad, Nitin Singh	New bounds on the anti-Ramsey numbers of star graphs via maximum edge q-coloring.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Xiangxiang Liu	Constrained Ramsey numbers for the loose path, cycle and star.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Tomasz Luczak 0001, Joanna Polcyn, Zahra Rahimi	On the restricted size Ramsey number for a pair of cycles.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Gholam Reza Omidi, Ghaffar Raeisi	Ramsey-Turán type results for matchings in edge colored graphs.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Sahar Diskin, Ilay Hoshen, Michael Krivelevich, Maksim Zhukovskii	On vertex Ramsey graphs with forbidden subgraphs.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Leila Maherani, Maryam Shahsiah	On Ramsey numbers of 3-uniform Berge cycles.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Ernst J. Joubert, Michael A. Henning	On the cycle-path bipartite Ramsey number.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Thomas F. Lidbetter	Improved bound for the Gerver-Ramsey collinearity problem.	Discret. Math.	2024	DBLP DOI BibTeX RDF
13	Lucas Aragão, Maurício Collares Neto, João Pedro Marciano, Taísa Martins, Robert Morris 0001	A lower bound for set-coloring Ramsey numbers.	Random Struct. Algorithms	2024	DBLP DOI BibTeX RDF
13	Jie Han 0002, Patrick Morris 0001, Guanghui Wang 0002, Donglei Yang	A Ramsey-Turán theory for tilings in graphs.	Random Struct. Algorithms	2024	DBLP DOI BibTeX RDF
13	Conor Duggan, Zhengyu Li 0002, Curtis Bright, Vijay Ganesh	A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
13	Zhihan Jin, István Tomon	Ramsey numbers of semi-algebraic and semi-linear hypergraphs.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
13	Ramin Javadi, Meysam Miralaei	The multicolor size-Ramsey numbers of cycles.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
13	Peter Allen 0001, Tomasz Luczak 0001, Joanna Polcyn, Yanbo Zhang	The Ramsey number of a long even cycle versus a star.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
13	Matías Pavez-Signé, Simón Piga, Nicolás Sanhueza-Matamala	Ramsey Numbers with Prescribed Rate of Growth.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
13	Chunqiu Fang, Ervin Györi, Chuanqi Xiao, Jimeng Xiao	Turán Numbers and Anti-Ramsey Numbers for Short Cycles in Complete $3$-Partite Graphs.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
13	Chunlin You, Qizhong Lin	Ramsey Numbers of Large Even Cycles and Fans.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
13	Dragan Masulovic	Big Ramsey Spectra of Countable Chains.	Order	2023	DBLP DOI BibTeX RDF
13	Tom Bohman, Fei Peng	A Construction for Boolean Cube Ramsey Numbers.	Order	2023	DBLP DOI BibTeX RDF
13	Roland Lortz, Ingrid Mengersen	On the Ramsey numbers of non-star trees versus connected graphs of order six.	Discuss. Math. Graph Theory	2023	DBLP DOI BibTeX RDF
13	Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama	How Strong is Ramsey's Theorem if infinity can be Weak?	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
13	Alex Cameron, Emily Heath	New upper bounds for the Erdős-Gyárfás problem on generalized Ramsey numbers.	Comb. Probab. Comput.	2023	DBLP DOI BibTeX RDF
13	Ander Lamaison	Ramsey upper density of infinite graphs.	Comb. Probab. Comput.	2023	DBLP DOI BibTeX RDF
13	David Conlon, Rajko Nenadov, Milos Trujic	On the size-Ramsey number of grids.	Comb. Probab. Comput.	2023	DBLP DOI BibTeX RDF