Search results for "Dichotomy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson	On counting homomorphisms to directed acyclic graphs.	J. ACM	2007	DBLP DOI BibTeX RDF	directed acyclic graphs, homomorphisms, Counting
62	Jirong Sun, Zhishu Li, Jiancheng Ni 0001	Dichotomy Method toward Interactive Testing-Based Fault Localization.	ADMA	2008	DBLP DOI BibTeX RDF	diagnosis matrix, dichotomy method, testing-based fault localization (TBFL), test suite optimization, program slice
51	Vaughan R. Pratt	The Competence/Performance Dichotomy in Programming.	POPL	1977	DBLP DOI BibTeX RDF
50	Gábor Kun, Mario Szegedy	A new line of attack on the dichotomy conjecture.	STOC	2009	DBLP DOI BibTeX RDF	term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy
50	Nilesh N. Dalvi, Dan Suciu	The dichotomy of conjunctive queries on probabilistic structures.	PODS	2007	DBLP DOI BibTeX RDF	probabilistic databases, conjunctive queries, dichotomy
50	Olivier Coudert	A New Paradigm for Dichotomy-based Constrained Encoding.	DATE	1998	DBLP DOI BibTeX RDF	constrained state encoding, twin graph coloring, dichotomy
50	Olivier Coudert, C.-J. Richard Shi	Exact Dichotomy-based Constrained Encodi.	ICCD	1996	DBLP DOI BibTeX RDF	Sequential logic synthesis, constrained state encoding, clique partition, set covering, dichotomy, ZBDD
46	Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.	ICALP (1)	2006	DBLP DOI BibTeX RDF
46	Lefteris M. Kirousis, Phokion G. Kolaitis	The Complexity of Minimal Satisfiability Problems.	STACS	2001	DBLP DOI BibTeX RDF
45	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
45	Zhenping Xie, Shitong Wang 0001, Fu-Lai Chung	An enhanced possibilistic C-Means clustering algorithm EPCM.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Enhanced possibilistic c-Means clustering (EPCM), Flexible hyperspheric dichotomy, Image segmentation, Outliers
45	Fabien Schang, Amirouche Moktefi	Depicting Negation in Diagrammatic Logic: Legacy and Prospects.	Diagrams	2008	DBLP DOI BibTeX RDF	bivalence, logical negation, internalization, complementation, dichotomy
45	Manor Mendel, Assaf Naor	Markov convexity and local rigidity of distorted metrics.	SCG	2008	DBLP DOI BibTeX RDF	bd-ramsey, markov convexity, metric dichotomy, p-convexity, uniform convexity, tree metrics
45	Sungsoo Yoon, Seung-Seok Choi, Sung-Hyuk Cha, Yillbyung Lee, Charles C. Tappert	On the Individuality of the Iris Biometric.	ICIAR	2005	DBLP DOI BibTeX RDF	Biometric individuality, Dichotomy model, Iris authentication, Histogram
39	Irénée Briquel, Pascal Koiran	A Dichotomy Theorem for Polynomial Evaluation.	MFCS	2009	DBLP DOI BibTeX RDF
39	Arvind Gupta, Mehdi Karimi 0001, Eun Jung Kim 0002, Arash Rafiey	Minimum Cost Homomorphism Dichotomy for Locally In-Semicomplete Digraphs.	COCOA	2008	DBLP DOI BibTeX RDF
39	Gregory Z. Gutin, Arash Rafiey, Anders Yeo	Minimum Cost Homomorphism Dichotomy for Oriented Cycles.	AAIM	2008	DBLP DOI BibTeX RDF
39	Antônio Tadeu A. Gomes, Artur Ziviani, Luciana dos S. Lima, Markus Endler	DICHOTOMY: A Resource Discovery and Scheduling Protocol for Multihop Ad hoc Mobile Grids.	CCGRID	2007	DBLP DOI BibTeX RDF
39	Su Chen, Tomasz Imielinski, Karin Johnsgard, Donald Smith, Mario Szegedy	A Dichotomy Theorem for Typed Constraint Satisfaction Problems.	SAT	2006	DBLP DOI BibTeX RDF
39	Andrei A. Bulatov, Víctor Dalmau	Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem.	FOCS	2003	DBLP DOI BibTeX RDF
39	Andrei A. Bulatov	A dichotomy theorem for constraint satisfaction problems on a 3-element set.	J. ACM	2006	DBLP DOI BibTeX RDF	dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem
34	Jin-yi Cai, Pinyan Lu, Mingji Xia	Holant problems and counting CSP.	STOC	2009	DBLP DOI BibTeX RDF	holant problem, holographic reduction, CSP, polynomial interpolation
34	Martin E. Dyer, Leslie Ann Goldberg, Mike Paterson	On Counting Homomorphisms to Directed Acyclic Graphs.	ICALP (1)	2006	DBLP DOI BibTeX RDF
34	Jonathan Gratch	True Emotion vs. Social Intentions in Nonverbal Communication: Towards a Synthesis for Embodied Conversational Agents.	ZiF Workshop	2006	DBLP DOI BibTeX RDF	emotion, cognitive modeling, virtual humans, nonverbal behavior
34	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
34	Amir Pnueli	Linear and Branching Structures in the Semantics and Logics of Reactive Systems.	ICALP	1985	DBLP DOI BibTeX RDF
34	Hubie Chen	The expressive rate of constraints.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	dichotomy theorem, constraints, logic, expressiveness
34	Andrei A. Krokhin, Peter Jeavons 0001, Peter Jonsson	Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra.	J. ACM	2003	DBLP DOI BibTeX RDF	Allen's algebra, dichotomy theorem, representing graphs by intervals, satisfiability of temporal constraints, tractable cases, complexity, NP-completeness
34	Steffen Reith	On the Complexity of Some Equivalence Problems for Propositional Calculi.	MFCS	2003	DBLP DOI BibTeX RDF	Boolean isomorphism, Boolean equivalence, closed classes, Computational complexity, Boolean functions, satisfiability problems, Dichotomy, Post
33	Benjamin D. Miller	A generalization of the 픾0 dichotomy and a strengthening of the 피0ℕ dichotomy.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
28	Zheng Zhang, Zheng Zhao, Tiantian Yuan	Expression Recognition Based on Multi-scale Block Local Gabor Binary Patterns with Dichotomy-Dependent Weights.	ISNN (2)	2009	DBLP DOI BibTeX RDF	MB-LGBP, SVM, Expression recognition, Gabor
28	Sven Kosub	Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	algorithms and complexity, fixed points, Discrete dynamical systems
28	Petr A. Golovach, Jan Kratochvíl	Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity.	TAMC	2008	DBLP DOI BibTeX RDF	Subject Computational complexity, graph algorithms
28	Zhoucan He, Qing Wang 0006	A Fast and Effective Dichotomy Based Hash Algorithm for Image Matching.	ISVC (1)	2008	DBLP DOI BibTeX RDF
28	Petr A. Golovach, Jan Kratochvíl	Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs.	WG	2007	DBLP DOI BibTeX RDF	Computational complexity, graph algorithms
28	Ondrej Klíma 0001, Benoît Larose, Pascal Tesson	Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.	MFCS	2006	DBLP DOI BibTeX RDF
28	Jirí Fiala 0001, Jan Kratochvíl	Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy.	WG	2006	DBLP DOI BibTeX RDF
28	Lefteris M. Kirousis, Phokion G. Kolaitis	A Dichotomy in the Complexity of Propositional Circumscription.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
28	Lakshmikant Bhupathi, Liang-Fang Chao	Dichotomy-based Model for FSM Power Minimization.	ICCD	1996	DBLP DOI BibTeX RDF
23	Miki Hermann, Florian Richoux	On the Computational Complexity of Monotone Constraint Satisfaction Problems.	WALCOM	2009	DBLP DOI BibTeX RDF
23	Lauri Hella, Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Monadic Monotone Strict NP.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Henkin quantifiers, MMSNP, Partially ordered connectives, Constraint satisfaction problems, SNP, Generalized quantifiers
23	Stanislav Angelov, Sanjeev Khanna, Mirkó Visontai	On the complexity of graph self-assembly in accretive systems.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Graph self-assembly, Accretive systems, Computational complexity
23		Introduction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
23	Seongik Hong, Injong Rhee, Seong Joon Kim, Kyunghan Lee, Song Chong	Routing performance analysis of human-driven delay tolerant networks using the truncated levy walk model.	MobilityModels	2008	DBLP DOI BibTeX RDF	inter-contact time, delay tolerant networks, mobility model, routing performance
23	Chris McEwan, Emma Hart, Ben Paechter	Boosting the Immune System.	ICARIS	2008	DBLP DOI BibTeX RDF
23	Manuel Bodirsky, Martin Grohe	Non-dichotomies in Constraint Satisfaction Complexity.	ICALP (2)	2008	DBLP DOI BibTeX RDF
23	Stefan S. Dantchev, Barnaby Martin, Stefan Szeider	Parameterized Proof Complexity.	FOCS	2007	DBLP DOI BibTeX RDF
23	Thomas Karagiannis, Jean-Yves Le Boudec, Milan Vojnovic	Power law and exponential decay of inter contact times between mobile devices.	MobiCom	2007	DBLP DOI BibTeX RDF	inter-contact time, mobile devices, opportunistic communications
23	Fabio Dias Fagundez, Ricardo Niederberger Cabral, Gustavo Melim do Carmo	Decoupling Relational Database from Object Oriented Layers.	ITNG	2007	DBLP DOI BibTeX RDF
23	Brad Mehlenbacher	Triangulating communication design: emerging models for theory and practice.	SIGDOC	2007	DBLP DOI BibTeX RDF	design, communication, theory, practice
23	Stanislav Angelov, Sanjeev Khanna, Mirkó Visontai	On the Complexity of Graph Self-assembly in Accretive Systems.	DNA	2006	DBLP DOI BibTeX RDF
23	Anthony Hunter, Sébastien Konieczny	Approaches to Measuring Inconsistent Information.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
23	Gustav Nordh, Peter Jonsson	An Algebraic Approach to the Complexity of Propositional Circumscription.	LICS	2004	DBLP DOI BibTeX RDF
23	Hong Wu, Hanqing Lu, Songde Ma	Multilevel Relevance Judgement, Loss Function, and Performance Measure in Image Retrieval.	CIVR	2003	DBLP DOI BibTeX RDF
23	Klaus B. Bærentsen, Johan Trettvik	An activity theory approach to affordance.	NordiCHI	2002	DBLP DOI BibTeX RDF	ecological psychology, praxis, perception, activity theory, activity, affordance, artifacts, appropriation
23	Heike Mildenberger	Groupwise dense families.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03E35
23	Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001	Constraint Satisfaction Problems and Finite Algebras.	ICALP	2000	DBLP DOI BibTeX RDF
23	Fabrizio Sebastiani 0001	Total Knowledge and Partial Knowledge in Logical Models of Information Retrieval.	ISMIS	1999	DBLP DOI BibTeX RDF
23	Chuan-Jin Shi, Janusz A. Brzozswski	An efficient algorithm for constrained encoding and its applications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
23	Vladimir G. Deineko, Peter Jonsson, Mikael Klasson, Andrei A. Krokhin	The approximability of MAX CSP with fixed-value constraints.	J. ACM	2008	DBLP DOI BibTeX RDF	Complexity of approximation, maximum constraint satisfaction, dichotomy, Monge properties, supermodularity
23	Nadia Creignou, Miki Hermann, Andrei A. Krokhin, Gernot Salzer	Complexity of Clausal Constraints Over Chains.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Finite totally ordered domains, Clausal patterns, Dichotomy theorem, Complexity, Constraint satisfaction problems, Inequalities
23	Arvind Gupta, Pavol Hell, Mehdi Karimi 0001, Arash Rafiey	Minimum Cost Homomorphisms to Reflexive Digraphs.	LATIN	2008	DBLP DOI BibTeX RDF	minimum cost homomorphism, reflexive digraph, NP-completeness, polynomial time algorithm, homomorphism, dichotomy
23	Samuel R. Buss, Christos H. Papadimitriou, John N. Tsitsiklis	On the Predictability of Coupled Automata: An Allegory about Chaos	FOCS	1990	DBLP DOI BibTeX RDF	coupled automata, symmetric global control, undecidable problem, complexity, predictability, chaos, dichotomy
16	Margarita Gladkaya, Fenne große Deters	Capturing the self-others dichotomy of social media use: Affordances-actualizations-outcomes model.	Inf. Manag.	2024	DBLP DOI BibTeX RDF
16	Yigang Qin, Weilun Duan, Qunfang Wu, Zhicong Lu	Dismantling Gender Blindness in Online Discussion of a Crime/Gender Dichotomy.	CoRR	2024	DBLP DOI BibTeX RDF
16	Jan Dreier, Nikolas Mählmann, Szymon Torunczyk	Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes.	CoRR	2024	DBLP DOI BibTeX RDF
16	Dmitriy Zhuk	A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations.	CoRR	2024	DBLP DOI BibTeX RDF
16	Dylan Powell, Aiden Hannah	The dichotomy of diagnostics: exploring the value for consumers, clinicians and care pathways.	npj Digit. Medicine	2024	DBLP DOI BibTeX RDF
16	Ian D. Morris	A Stability Dichotomy for Discrete-Time Linear Switching Systems in Dimension Two.	SIAM J. Control. Optim.	2024	DBLP DOI BibTeX RDF
16	Mozhuo Chen	A Problematic Dichotomy in the Perspective of Field Theory: Hermeneutics and Quantitative Qnalysis in Distant Reading.	iConference (2)	2024	DBLP DOI BibTeX RDF
16	Todd Eisworth	The Pseudopower Dichotomy.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
16	Mark A. Pinsky 0002	Optimal dichotomy of temporal scales and boundedness/stability of time-varying multidimensional nonlinear systems.	Math. Control. Signals Syst.	2023	DBLP DOI BibTeX RDF
16	Ariana Gaina, Mihail Megan, Rovana Boruga Toma	Nonuniform Dichotomy with Growth Rates of Skew-Evolution Cocycles in Banach Spaces.	Axioms	2023	DBLP DOI BibTeX RDF
16	Xu Ma, Jianli Ding, Tiejun Wang, Lei Lu, Hui Sun, Fei Zhang, Xiao Cheng, Ilyas Nurmemet	A Pixel Dichotomy Coupled Linear Kernel-Driven Model for Estimating Fractional Vegetation Cover in Arid Areas From High-Spatial-Resolution Images.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
16	Austen Z. Fan, Jin-Yi Cai	Dichotomy result on 3-regular bipartite non-negative functions.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Artem Govorov, Jin-Yi Cai, Martin E. Dyer	A dichotomy for bounded degree graph homomorphisms with nonnegative weights.	J. Comput. Syst. Sci.	2023	DBLP DOI BibTeX RDF
16	Rossano Gaeta, Michele Garetto, Giancarlo Ruffo, Alessandro Flammini	Reconciling the Quality vs Popularity Dichotomy in Online Cultural Markets.	ACM Trans. Inf. Syst.	2023	DBLP DOI BibTeX RDF
16	Kaifeng Lyu, Jikai Jin, Zhiyuan Li 0005, Simon S. Du, Jason D. Lee, Wei Hu 0014	Dichotomy of Early and Late Phase Implicit Biases Can Provably Induce Grokking.	CoRR	2023	DBLP DOI BibTeX RDF
16	Daniel Paul-Pena, C. Seshadhri 0001	A Dichotomy Hierarchy Characterizing Linear Time Subgraph Counting in Bounded Degeneracy Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yin Liu, Austen Z. Fan, Jin-Yi Cai	Restricted Holant Dichotomy on Domains 3 and 4.	CoRR	2023	DBLP DOI BibTeX RDF
16	Tamás Kátay, László Márton Tóth, Zoltán Vidnyánszky	The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jin-Yi Cai, Austen Z. Fan	Planar 3-way Edge Perfect Matching Leads to A Holant Dichotomy.	CoRR	2023	DBLP DOI BibTeX RDF
16	Richard C. Brewster, Arnott Kidner, Gary MacGillivray	A dichotomy theorem for Γ-switchable H-colouring on m-edge coloured graphs.	CoRR	2023	DBLP DOI BibTeX RDF
16	Patrick Schnider, Simon Weber 0001	A Topological Version of Schaefer's Dichotomy Theorem.	CoRR	2023	DBLP DOI BibTeX RDF
16	Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo	A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join.	CoRR	2023	DBLP DOI BibTeX RDF
16	Pratulananda Das, Ayan Ghosh	Eggleston's dichotomy for characterized subgroups and the role of ideals.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
16	Sergio Evangelista Silva, André Luis Silva	Expanding the current tacit/explicit knowledge dichotomy encompassing situated and theoretical/normative knowledge: a phenomenological perspective.	J. Documentation	2023	DBLP DOI BibTeX RDF
16	Sakthivel Gnanasekaran, Lakshmipathi Jakkamputi, Jegadeeshwaran Rakkiyannan, Mohanraj Thangamuthu, Yogesh Bhalerao	A Comprehensive Approach for Detecting Brake Pad Defects Using Histogram and Wavelet Features with Nested Dichotomy Family Classifiers.	Sensors	2023	DBLP DOI BibTeX RDF
16	Isabel Castelo-Branco, Maria Amaro-Henriques, Frederico Cruz-Jesus, Tiago Oliveira 0001	Assessing the Industry 4.0 European divide through the country/industry dichotomy.	Comput. Ind. Eng.	2023	DBLP DOI BibTeX RDF
16	Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep	Conditional Dichotomy of Boolean Ordered Promise CSPs.	TheoretiCS	2023	DBLP DOI BibTeX RDF
16	Jiangyu Wang, Ding Wang 0001, Xin Li, Junfei Qiao 0001	Dichotomy value iteration with parallel learning design towards discrete-time zero-sum games.	Neural Networks	2023	DBLP DOI BibTeX RDF
16	Peter Gartland, Daniel Lokshtanov	Graph Classes with Few Minimal Separators. II. A Dichotomy.	SODA	2023	DBLP DOI BibTeX RDF
16	Eun Jung Kim 0002, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström	Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints.	SODA	2023	DBLP DOI BibTeX RDF
16	Thomas Dalgaty, Thomas Mesquida, Damien Joubert, Amos Sironi, Cyrille Soubeyrat, Pascal Vivet, Christoph Posch	The CNN vs. SNN Event-camera Dichotomy and Perspectives For Event-Graph Neural Networks.	DATE	2023	DBLP DOI BibTeX RDF
16	A. Mohanapriya, P. Renjith, N. Sadagopan	Short Cycles Dictate Dichotomy Status of the Steiner Tree Problem on Bisplit Graphs.	CALDAM	2023	DBLP DOI BibTeX RDF
16	Tamio-Vesa Nakajima, Stanislav Zivný	Boolean symmetric vs. functional PCSP dichotomy.	LICS	2023	DBLP DOI BibTeX RDF
16	Christoph Berkholz, Harry Vinall-Smeeth	A Dichotomy for Succinct Representations of Homomorphisms.	ICALP	2023	DBLP DOI BibTeX RDF
16	Ding Li, Wenzhong Li, Yizhou Chen, Xu Zhong, Mingkai Lin, Sanglu Lu	Learning-Based Dichotomy Graph Sketch for Summarizing Graph Streams with High Accuracy.	KSEM (2)	2023	DBLP DOI BibTeX RDF
16	Peter Mayr 0001	On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.	MFCS	2023	DBLP DOI BibTeX RDF
16	Oleg Platonov, Denis Kuznedelev, Artem Babenko, Liudmila Prokhorenkova	Characterizing Graph Datasets for Node Classification: Homophily-Heterophily Dichotomy and Beyond.	NeurIPS	2023	DBLP BibTeX RDF