Search results for "Complementation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
120	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
105	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara	Decomposing Non-redundant Sharing by Complementation.	SAS	1999	DBLP DOI BibTeX RDF	Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis
82	Orna Kupferman, Moshe Y. Vardi	Complementation Constructions for Nondeterministic Automata on Infinite Words.	TACAS	2005	DBLP DOI BibTeX RDF
80	Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato	Complementation in Abstract Interpretation.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
69	Yang Cai 0001, Ting Zhang, Haifeng Luo	An Improved Lower Bound for the Complementation of Rabin Automata.	LICS	2009	DBLP DOI BibTeX RDF
69	Moshe Y. Vardi	The Büchi Complementation Saga.	STACS	2007	DBLP DOI BibTeX RDF
69	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	ICALP (2)	2006	DBLP DOI BibTeX RDF
69	Orna Kupferman, Moshe Y. Vardi	From Complementation to Certification.	TACAS	2004	DBLP DOI BibTeX RDF
69	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
65	Nils Klarlund	Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic	FOCS	1991	DBLP DOI BibTeX RDF	complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
57	Seth Fogarty, Moshe Y. Vardi	Büchi Complementation and Size-Change Termination.	TACAS	2009	DBLP DOI BibTeX RDF
50	Joachim Biskup, Sebastian Link	Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.	FoIKS	2008	DBLP DOI BibTeX RDF
50	Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi	On Complementing Nondeterministic Büchi Automata.	CHARME	2003	DBLP DOI BibTeX RDF
48	V. Vinay	Hierarchies of Circuit Classes that are Closed under Complement.	CCC	1996	DBLP DOI BibTeX RDF	Circuits, Complexity Theory, Complementation
44	Hrishikesh Karmarkar, Supratik Chakraborty	On Minimal Odd Rankings for Büchi Complementation.	ATVA	2009	DBLP DOI BibTeX RDF
44	Lars Eirik Danielsen, Matthew Geoffrey Parker	Edge local complementation and equivalence of binary linear codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	05C30, AMS Classifications 94B05
44	Jozef Jirásek 0001, Galina Jirásková, Alexander Szabari	State Complexity of Concatenation and Complementation of Regular Languages.	CIAA	2004	DBLP DOI BibTeX RDF
44	Birgit Jenner	Closure under Complementation of Logspace Complexity Classes - A Survey.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
42	Roberto Giacobazzi, Isabella Mastroeni	A characterization of symmetric semantics by domain complementation.	PPDP	2000	DBLP DOI BibTeX RDF	domain complementation, abstract interpretation, program semantics, concurrent constraint programming
42	Yuke Wang, Carl McCrosky	Negation Trees: A Unified Approach to Boolean Function Complementation.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	complementation algorithms, negation trees, Boolean functions, unate functions
39	James G. Oxley, Jagdeep Singh	Complementation, local complementation, and switching in binary matroids.	Adv. Appl. Math.	2021	DBLP DOI BibTeX RDF
39	Camille Filiatrault Chastel	Exploration de sécrétomes d'Aspergillus spp. en vue de la complémentation du cocktail cellulolytique de Trichoderma reesei. (Exploration of Aspergillus spp. secretomes for the complementation of Trichoderma reesei cellulolyticcocktail).		2019	RDF
39	Chloé Rispal	Automates sur les ordres linéaires : Complémentation. (Automata on Linear Orderings: Complementation).		2004	RDF
35	Skander Belhaj	A fast method to block-diagonalize a Hankel matrix.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Hankel matrix, Block diagonalization, Triangular Toeplitz matrix, Schur complementation
35	Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana	On a Graph Calculus for Algebras of Relations.	WoLLIC	2008	DBLP DOI BibTeX RDF	Relational language, reasoning from hypotheses, graph calculus, completeness, complementation
35	Orna Kupferman, Moshe Y. Vardi	Weak alternating automata are not that weak.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	weak alternating automata, complementation
35	Gheorghe Paun	(DNA) computing by carving.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Chomskyhierarchy, approximation of languages, DNA computing, complementation
32	Jens Bleiholder, Sascha Szott, Melanie Herschel, Frank Kaufer, Felix Naumann	Subsumption and complementation as data fusion operators.	EDBT	2010	DBLP DOI BibTeX RDF	complement union, minimum union, data integration, data quality
32	Marcella Anselmo, Maria Madonia	A Note on Unambiguity, Finite Ambiguity and Complementation in Recognizable Two-Dimensional Languages.	CAI	2009	DBLP DOI BibTeX RDF	Unambiguity, Complement, Automata and Formal Languages, Two-dimensional languages
32	Christian Kissig, Yde Venema	Complementation of Coalgebra Automata.	CALCO	2009	DBLP DOI BibTeX RDF
32	Christian Dax, Felix Klaedtke	Alternation Elimination by Complementation (Extended Abstract).	LPAR	2008	DBLP DOI BibTeX RDF
32	Oliver Kullmann	Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices.	SAT	2007	DBLP DOI BibTeX RDF
32	Alexander Okhotin, Oksana Yakimova	Language Equations with Complementation.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
32	Tri Van Le, Rüdiger Sparr, Ralph Wernsdorf, Yvo Desmedt	Complementation-Like and Cyclic Properties of AES Round Functions.	AES Conference	2004	DBLP DOI BibTeX RDF	cyclic properties, AES, invariance, Rijndael, self-duality
32	Chloe Rispal, Olivier Carton	Complementation of Rational Sets on Countable Scattered Linear Orderings.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
32	Olivier Carton, Chloe Rispal	Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank.	LATIN	2004	DBLP DOI BibTeX RDF
32	Stefan Schwoon	Determinization and Complementation of Streett Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
32	Felix Klaedtke	Complementation of Büchi Automata Using Alternation.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
32	Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira	Using Complementation and Resequencing to Minimize Transitions.	DAC	1998	DBLP DOI BibTeX RDF	reconfigurable computing, event-driven simulation
32	Roope Kaivola	Fixpoints for Rabin Tree Automata Make Complementation Easy.	ICALP	1996	DBLP DOI BibTeX RDF
32	Anca Muscholl	On the Complementation of Büchi Asynchronous Cellular Automata.	ICALP	1994	DBLP DOI BibTeX RDF
25	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	J. ACM	2009	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
25	Sven Hartmann, Henning Köhler, Sebastian Link	Full hierarchical dependencies in fixed and undetermined universes.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68P15
25	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	PODS	2007	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
25	Léonard Kwuida	When Is a Concept Algebra Boolean?	ICFCA	2004	DBLP DOI BibTeX RDF
25	Orna Kupferman, Sharon Zuhovitzky	An Improved Algorithm for the Membership Problem for Extended Regular Expressions.	MFCS	2002	DBLP DOI BibTeX RDF
25	Markus Holzer 0001, Martin Kutrib	State Complexity of Basic Operations on Nondeterministic Finite Automata.	CIAA	2002	DBLP DOI BibTeX RDF
25	Jarkko Kari, Cristopher Moore	New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata.	STACS	2001	DBLP DOI BibTeX RDF
25	Roberto Giacobazzi, Francesco Ranzato	Complementing Logic Program Semantics.	ALP	1996	DBLP DOI BibTeX RDF
25	Nils Klarlund, Madhavan Mukund, Milind A. Sohoni	Determinizing Büchi Asnchronous Automata.	FSTTCS	1995	DBLP DOI BibTeX RDF
25	Carsten Damm, Markus Holzer 0001	Inductive Counting Below LOGSPACE.	MFCS	1994	DBLP DOI BibTeX RDF
25	Shen-Chuan Tai, M. W. Du, Richard C. T. Lee	A transformational approach to synthesizing combinational circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
25	Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	PLATYPUS: a PLA test pattern generation tool.	DAC	1985	DBLP DOI BibTeX RDF
25	James W. Welch, J. Wesley Graham	Information Retrieval in Files Described Using Sets.	SIGMOD Conference	1975	DBLP DOI BibTeX RDF	multilist file, information retrieval, boolean functions, retrieval, attributes, inverted file, file organization, boolean queries
23	Fabien Schang, Amirouche Moktefi	Depicting Negation in Diagrammatic Logic: Legacy and Prospects.	Diagrams	2008	DBLP DOI BibTeX RDF	bivalence, logical negation, internalization, complementation, dichotomy
23	Jason V. Davis, Inderjit S. Dhillon	Estimating the global pagerank of web communities.	KDD	2006	DBLP DOI BibTeX RDF	stochastic complementation, Markov chain, page rank
23	Qiang Ma 0001, Katsumi Tanaka	Topic-structure-based complementary information retrieval and its application.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	Information complementation, complementary information retrieval, content fusion, topic structure
23	Alma Riska, Evgenia Smirni, Gianfranco Ciardo	An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF	GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis
23	E. Allen Emerson, Charanjit S. Jutla	Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy
23	Jim B. Surjaatmadja	An Algebra for Switching Circuits.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	canonical operators, noncanonical operators, postulates, switching circuit algebra, consensus, Boolean algebra, complementation, theorems, Karnaugh maps
19	Dariusz Gosciewski, Malgorzata Gerus-Gosciewska, Agnieszka Szczepanska	Application of Polynomial Interpolation for Iterative Complementation of the Missing Nodes in a Regular Network of Squares Used for the Construction of a Digital Terrain Model.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Jingsheng Lei, Chente Shu, Qiang Xu, Yunxiang Yu, Shengying Yang	FCPFNet: Feature Complementation Network with Pyramid Fusion for Semantic Segmentation.	Neural Process. Lett.	2024	DBLP DOI BibTeX RDF
19	Rundong Zhao, Panpan Zheng, Cui Zhang, Liejun Wang	Progressive Complementation Network With Semantics and Details for Salient Object Detection in Optical Remote Sensing Images.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Jiang Li 0004, Xiaoping Wang 0001, Guoqing Lv, Zhigang Zeng	GraphCFC: A Directed Graph Based Cross-Modal Feature Complementation Approach for Multimodal Conversational Emotion Recognition.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
19	Mingxuan Luo, Xiaoshan Yang	Postpartum pelvic organ prolapse assessment via adversarial feature complementation in heterogeneous data.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
19	Daeyi Jung	Experimental Validation of Artificial Neural Network Based Road Condition Classifier and its Complementation.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Yuzhen Niu, Zhihua Lin, Wenxi Liu, Wenzhong Guo	Progressive Moire Removal and Texture Complementation for Image Demoireing.	IEEE Trans. Circuits Syst. Video Technol.	2023	DBLP DOI BibTeX RDF
19	Andrew Tedder	Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics.	Stud Logica	2023	DBLP DOI BibTeX RDF
19	Jianchao Fan, Shuai Zhang, Xinzhe Wang, Jun Xing	Multifeature Semantic Complementation Network for Marine Oil Spill Localization and Segmentation Based on SAR Images.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2023	DBLP DOI BibTeX RDF
19	Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep	Algorithms for subgraph complementation to some classes of graphs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yang Yang, Weijie Ma, Hao Chen, Linlin Ou, Xinyi Yu	CrossFusion: Interleaving Cross-modal Complementation for Noise-resistant 3D Object Detection.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gilles Dowek, Ying Jiang	Complementation: a bridge between finite and infinite proofs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini	Modular Mix-and-Match Complementation of Büchi Automata (Technical Report).	CoRR	2023	DBLP DOI BibTeX RDF
19	Yadong Zhu, Conghui Li, Kai Hu 0002, Hongying Luo, Meijun Zhou, Xuanya Li, Xieping Gao	A new two-stream network based on feature separation and complementation for ultrasound image segmentation.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
19	Ye Wang, Yaxiong Wang, Guoshuai Zhao, Xueming Qian	Learning to complement: Relation complementation network for few-shot class-incremental learning.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
19	Chang Wu, Gang He 0002, Xinquan Lai, Yunsong Li	MPCNet: Compressed multi-view video restoration via motion-parallax complementation network.	Neural Networks	2023	DBLP DOI BibTeX RDF
19	Olga Martynova 0001, Alexander Okhotin	Non-closure under complementation for unambiguous linear grammars.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
19	Weizhi Feng, Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001	On the power of finite ambiguity in Büchi complementation.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
19	Zhong Ji, Zhishen Hou, Xiyao Liu 0002, Yanwei Pang, Xuelong Li 0001	Memorizing Complementation Network for Few-Shot Class-Incremental Learning.	IEEE Trans. Image Process.	2023	DBLP DOI BibTeX RDF
19	Pengyu Zhang, Shijie Gao, Yi Shen, Shiyu Yang, Lizhuang Sun	SG-RC: SG-CIM Grid Knowledge Graph Relationship Complementation Model Based on Entropy Uncertainty and Semantic Recognition.	BigDataSecurity/HPSC/IDS	2023	DBLP DOI BibTeX RDF
19	Yong Yang 0001, Wenzhi Xu, Shuying Huang, Weiguo Wan	Low-Light Image Enhancement Network Based on Multi-Scale Feature Complementation.	AAAI	2023	DBLP DOI BibTeX RDF
19	Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini	Modular Mix-and-Match Complementation of Büchi Automata.	TACAS (1)	2023	DBLP DOI BibTeX RDF
19	Zichen Yin, Dongmei Liu	MFC-Net: A Multiple Feature Complementation Network for Person Re-identification in Aerial Imagery.	ICMIP	2023	DBLP DOI BibTeX RDF
19	Zeming Zhang, Zhuoran Liu, Jingchi Jiang, Chaoran Kong, Yi Guan, Xiguang Liu, Haiyan You, Jing Yang, Yi Lin	Interpretable Diagnosis of Face Acne via Complementation Learning of Evidence Localization and Severity Level Grading.	BIBM	2023	DBLP DOI BibTeX RDF
19	Mihály A. Martínez-Miraval, Martha L. García-Rodríguez	Complementation Between Usage Schemes and Mental Actions in an Approach to the Definite Integral Using GeoGebra.	WorldCIST (2)	2023	DBLP DOI BibTeX RDF
19	Calum Buchanan, Christopher Purcell, Puck Rombach	Subgraph Complementation and Minimum Rank.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
19	Siyuan Du, Hao Wang	Addressing Syntax-Based Semantic Complementation: Incorporating Entity and Soft Dependency Constraints into Metonymy Resolution.	Future Internet	2022	DBLP DOI BibTeX RDF
19	Qunyan Jiang, Juying Dai, Ting Rui, Faming Shao, Jinkang Wang, Guanlin Lu	Attention-Based Cross-Modality Feature Complementation for Multispectral Pedestrian Detection.	IEEE Access	2022	DBLP DOI BibTeX RDF
19	Gongyang Li, Zhi Liu 0003, Weisi Lin, Haibin Ling	Multi-Content Complementation Network for Salient Object Detection in Optical Remote Sensing Images.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
19	Dhanyamol Antony, Jay Garchar, Sagartanu Pal, R. B. Sandeep, Sagnik Sen 0001, R. Subashini	On Subgraph Complementation to H-free Graphs.	Algorithmica	2022	DBLP DOI BibTeX RDF
19	Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini	Cutting a tree with Subgraph Complementation is hard, except for some small trees.	CoRR	2022	DBLP BibTeX RDF
19	Olga Martynova 0001, Alexander Okhotin	Non-closure under complementation for unambiguous linear grammars.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zhong Ji, Zhishen Hou, Xiyao Liu 0002, Yanwei Pang, Xuelong Li 0001	Memorizing Complementation Network for Few-Shot Class-Incremental Learning.	CoRR	2022	DBLP DOI BibTeX RDF
19	Jiang Li, Xiaoping Wang 0001, Guoqing Lv, Zhigang Zeng	GraphCFC: A Directed Graph based Cross-modal Feature Complementation Approach for Multimodal Conversational Emotion Recognition.	CoRR	2022	DBLP DOI BibTeX RDF
19	Momoko Matsuyama, Norihiro Koizumi, Akihide Otsuka, Kento Kobayashi, Shiho Yagasaki, Yusuke Watanabe, Jiayi Zhou, Yu Nishiyama, Naoki Matsumoto, Hiroyuki Tsukihara, Kazushi Numata	A novel complementation method of an acoustic shadow region utilizing a convolutional neural network for ultrasound-guided therapy.	Int. J. Comput. Assist. Radiol. Surg.	2022	DBLP DOI BibTeX RDF
19	Feng Liu 0039, Siyuan Shen, Ziwang Fu, Hanyang Wang, Aimin Zhou, Jia-Yin Qi	LGCCT: A Light Gated and Crossed Complementation Transformer for Multimodal Speech Emotion Recognition.	Entropy	2022	DBLP DOI BibTeX RDF
19	Tao Liao, Rongmei Huang, Shunxiang Zhang, Songsong Duan, Yanjie Chen, Wenxiang Ma, Xinyuan Chen	Nested Named Entity Recognition Based on Dual Stream Feature Complementation.	Entropy	2022	DBLP DOI BibTeX RDF
19	Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay	Towards a Grand Unification of Büchi Complementation Constructions.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
19	Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková	Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation.	TACAS (2)	2022	DBLP DOI BibTeX RDF
19	Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini	Cutting a Tree with Subgraph Complementation is Hard, Except for Some Small Trees.	LATIN	2022	DBLP DOI BibTeX RDF