Search results for "E-Unification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	S. K. Lakshminarayana, Prabhugoud I. Basarkod	Unification of K-Nearest Neighbor (KNN) with Distance Aware Algorithm for Intrusion Detection in Evolving Networks Like IoT.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia	Equational Anti-Unification over Absorption Theories.	CoRR	2023	DBLP DOI BibTeX RDF
12	Nikolai Kudasov	E-unification for Second-Order Abstract Syntax.	CoRR	2023	DBLP DOI BibTeX RDF
12	Gilles Dowek	The Undecidability of Unification Modulo σ Alone.	CoRR	2023	DBLP DOI BibTeX RDF
12	Gilles Dowek	A Unification Algorithm for Second-Order Linear Terms.	CoRR	2023	DBLP DOI BibTeX RDF
12	Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray	Towards a Unification of Logic and Information Theory.	CoRR	2023	DBLP DOI BibTeX RDF
12	Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zhongda Chu, Fei Teng 0005	Stability Constrained Optimization in High IBR-Penetrated Power Systems-Part I: Constraint Development and Unification.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mohammad Mostafanejad	Unification of popular artificial neural network activation functions.	CoRR	2023	DBLP DOI BibTeX RDF
12	David M. Cerna, Temur Kutsia	Anti-unification and Generalization: A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
12	Xu Liu, Tong Zhou, Yuanxin Wang, Yuping Wang, Qinjingwen Cao, Weizhi Du, Yonghuan Yang, Junjun He, Yu Qiao, Yiqing Shen 0003	Towards the Unification of Generative and Discriminative Visual Foundation Model: A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zhibo Chen 0009, Frank Pfenning	A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ivo Düntsch, Wojciech Dzik	The fork and its role in unification of closure algebras.	CoRR	2023	DBLP DOI BibTeX RDF
12	Harshit Sikchi, Amy Zhang 0001, Scott Niekum	Imitation from Arbitrary Experience: A Dual Unification of Reinforcement and Imitation Learning Methods.	CoRR	2023	DBLP DOI BibTeX RDF
12	Sabah Al-Fedaghi	In Pursuit of Unification of Conceptual Models: Sets as Machines.	CoRR	2023	DBLP DOI BibTeX RDF
12	David M. Cerna	Recursive First-order Syntactic Unification Modulo Variable Classes.	CoRR	2023	DBLP DOI BibTeX RDF
12	Xihua Xu	Unification of Lagrangian staggered-grid hydrodynamics and cell-centered hydrodynamics in one dimension.	CoRR	2023	DBLP DOI BibTeX RDF
12	Xingtong Yu, Zhenghao Liu, Yuan Fang 0001, Zemin Liu, Sihong Chen, Xinming Zhang 0001	Generalized Graph Prompt: Toward a Unification of Pre-Training and Downstream Tasks on Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Vanessa Wirth 0001, Vanessa Wirth 0002	Author-Unification: Name-, Institution-, and Career-Sharing Co-authors.	CoRR	2023	DBLP DOI BibTeX RDF
12	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	August J. Naudé, Herman C. Myburgh	Unification of Road Scene Segmentation Strategies Using Multistream Data and Latent Space Attention.	Sensors	2023	DBLP DOI BibTeX RDF
12	Kevin Kappelmann	Unification Utilities for Isabelle/ML.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
12	Jean-Pierre Jouannaud, Fernando Orejas	Unification of drags and confluence of drag rewriting.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
12	José Meseguer 0001	Variants and satisfiability in the infinitary unification wonderland.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
12	Pankaj, Ashish Kumar 0005, Rama Komaragiri, Manjeet Kumar	A novel CS-NET architecture based on the unification of CNN, SVM and super-resolution spectrogram to monitor and classify blood pressure using photoplethysmography.	Comput. Methods Programs Biomed.	2023	DBLP DOI BibTeX RDF
12	Emmanuel Oluseye Adeyefa, Ezekiel Olaoluwa Omole	A continuous five-step implicit block unification method for numerical solution of second-order elliptic partial differential equations.	Int. J. Math. Oper. Res.	2023	DBLP DOI BibTeX RDF
12	Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi	Unification types in Euclidean modal logics.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev	Remarks about the unification types of some locally tabular normal modal logics.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
12	Mediva Haura, Agatha Constansha, Levana Dhia Prawati	Implementation of Tax Technology e-Bupot Unification in Indonesia: Applying the DeLone & McLean Information Systems Success Model.	ICEME	2023	DBLP DOI BibTeX RDF
12	Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl	Refining Unification with Abstraction.	LPAR	2023	DBLP DOI BibTeX RDF
12	Tianze Zhang, Haolin Ren, Qian'Ang Mao, Cong Ma, Shuxi Liang, Daning Hu, Xiao Fan Liu	Unlocking Decentralized Lending Protocols: Semantic Unification and Risk Spillover Assessment.	ICDM (Workshops)	2023	DBLP DOI BibTeX RDF
12	Xiang Gao, Honghui Lin, Yu Li, Ruiyan Fang, Xin Zhang	Look and Think: Intrinsic Unification of Self-Attention and Convolution for Spatial-Channel Specificity.	ICASSP	2023	DBLP DOI BibTeX RDF
12	Nikolai Kudasov	E-Unification for Second-Order Abstract Syntax.	FSCD	2023	DBLP DOI BibTeX RDF
12	Victor Araújo, Riei Joaquim Matos Rodrigues, José Victor Silva Cruz, Lucas Cavalcanti, Matheus Vinícius Teotonio do Nascimento Andrade, Matheus Paixão Gumercindo dos Santos, João G. Melo, Pedro Paulo Salman de Oliveira, Ryan Vinicius Santos Morais, Edna Barros	RobôCIn SSL-Unification: A Modular Software Architecture for Dynamic Multi-robot Systems.	RoboCup	2023	DBLP DOI BibTeX RDF
12	Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz	Unification, Extension, and Interpretation of Group Fairness Metrics for ML-Based Decision-Making.	EWAF	2023	DBLP BibTeX RDF
12	Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001	Superposition with Delayed Unification.	CADE	2023	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho	Towards Fast Nominal Anti-unification of Letrec-Expressions.	CADE	2023	DBLP DOI BibTeX RDF
12	Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino	Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection.	CVPR	2023	DBLP DOI BibTeX RDF
12	Roger Bosman, Georgios Karachalias, Tom Schrijvers	No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.	ITP	2023	DBLP DOI BibTeX RDF
12	Jaron Maene, Luc De Raedt	Soft-Unification in Deep Probabilistic Logic.	NeurIPS	2023	DBLP BibTeX RDF
12	Karina Melnyk, Yaroslav Kravets, Iryna Liutenko, Svitlana Yershova, Oksana Ivashchenko, Dmytro Yershov, Olena Odyntsova	Multi-Agent Approach for the Unification of Meteorological Data.	COLINS (3)	2023	DBLP BibTeX RDF
12	Maribel Fernández	Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk).	LOPSTR	2023	DBLP DOI BibTeX RDF
12	Gonzague Yernaux, Wim Vanhoof	Predicate Anti-unification in (Constraint) Logic Programming.	LOPSTR	2023	DBLP DOI BibTeX RDF
12	Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy	A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks.	IJCAI	2023	DBLP DOI BibTeX RDF
12	David M. Cerna, Temur Kutsia	Anti-unification and Generalization: A Survey.	IJCAI	2023	DBLP DOI BibTeX RDF
12	Masaya Sato, Keisuke Maeda, Ren Togo, Takahiro Ogawa 0001, Miki Haseyama	Caption Unification for Multiple Viewpoint Lifelogging Images and Its Verification.	GCCE	2023	DBLP DOI BibTeX RDF
12	Xiaoyu Li, Xiao Dai, Dan Wang	Target Tracking Algorithm Based on Hybrid Attention Unification Framework.	CAIBDA	2023	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz	Nominal Unification and Matching of Higher Order Expressions with Recursive Let.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
12	Panpan Zhang, Zhicai Li, Lifeng Bao, Peng Zhang, Yongshang Wang, Lin Wu 0003, Yong Wang	The Refined Gravity Field Models for Height System Unification in China.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
12	Thomas Gruber 0003, Jonas Ågren, Detlef Angermann, Artu Ellmann, Andreas Engfeldt, Christoph Gisinger, Leszek Jaworski, Tomasz Kur, Simo Marila, Jolanta Nastula, Faramarz Nilfouroushan, Maaria Nordman, Markku Poutanen, Timo Saari, Marius Schlaak, Anna Swiatek, Sander Varbla, Ryszard Zdunek	Geodetic SAR for Height System Unification and Sea Level Research - Results in the Baltic Sea Test Network.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
12	James Joseph Wright, Paul David Bourke	Unification of free energy minimization, spatiotemporal energy, and dimension reduction models of V1 organization: Postnatal learning on an antenatal scaffold.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
12	Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Alexandre Bazin, Syed Attique Shah, Iztok Fister Jr., Sadok Ben Yahia, Dirk Draheim	A Novel Framework for Unification of Association Rule Mining, Online Analytical Processing and Statistical Reasoning.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Svetlana V. Minina, Nikita E. Shklovskiy-Kordi	Neuron quantum computers and a way to unification of science: A compendium of Efim Liberman's scientific work.	Biosyst.	2022	DBLP DOI BibTeX RDF
12	Sonal Tuteja, Rajeev Kumar 0004	A Unification of Heterogeneous Data Sources into a Graph Model in E-commerce.	Data Sci. Eng.	2022	DBLP DOI BibTeX RDF
12	Constantinos G. Vayenas, Dimitrios Grigoriou, Dionysios Tsousis, Konstantinos Parisis, Elias C. Aifantis	Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model.	Axioms	2022	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev	About the unification type of $\mathbf {K}+\square \square \bot $.	Ann. Math. Artif. Intell.	2022	DBLP DOI BibTeX RDF
12	Guoqing Zhang 0002, Zhiyuan Luo 0003, Yuhao Chen, Yuhui Zheng, Weisi Lin	Illumination Unification for Person Re-Identification.	IEEE Trans. Circuits Syst. Video Technol.	2022	DBLP DOI BibTeX RDF
12	Liisa Holm	Dali server: structural unification of protein families.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
12	Ghassen Hamdi, Abdelmoutia Telli, Mohamed Nazih Omri	Querying of several DL-Lite knowledge bases from various information sources-based polynomial response unification approach.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
12	Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino	Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection.	CoRR	2022	DBLP DOI BibTeX RDF
12	Bin Yan 0004, Yi Jiang, Peize Sun, Dong Wang 0004, Zehuan Yuan, Ping Luo 0002, Huchuan Lu	Towards Grand Unification of Object Tracking.	CoRR	2022	DBLP DOI BibTeX RDF
12	David M. Cerna	A Special Case of Schematic Syntactic Unification.	CoRR	2022	DBLP BibTeX RDF
12	Ximing Qiao, Hai Li 0001	Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming.	CoRR	2022	DBLP DOI BibTeX RDF
12	David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova	babble: Learning Better Abstractions with E-Graphs and Anti-Unification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Ran Gutin	Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Andrew Draganov, Tyrus Berry, Jakob Rødsgaard Jørgensen, Katrine Scheel Nellemann, Ira Assent, Davide Mottin	GiDR-DUN; Gradient Dimensionality Reduction - Differences and Unification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Nikolai Kudasov	Functional Pearl: Dependent type inference via free higher-order unification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz	Distributive Justice as the Foundational Premise of Fair ML: Unification, Extension, and Interpretation of Group Fairness Metrics.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy	Pseudo-Poincaré: A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks.	CoRR	2022	DBLP DOI BibTeX RDF
12	Michal Buran, David M. Cerna	One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
12	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
12	Yingxue Fu	Towards Unification of Discourse Annotation Frameworks.	CoRR	2022	DBLP DOI BibTeX RDF
12	Nic Fishman, Leif Hancox-Li	Should attention be all we need? The epistemic and ethical implications of unification in machine learning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Shailendra Singh 0005, S. P. Tiwari	On unification of categories of fuzzy automata as Qua category.	Soft Comput.	2022	DBLP DOI BibTeX RDF
12	Wojciech Dzik, Slawomir Kost, Piotr Wojtylak	Finitary unification in locally tabular modal logics characterized.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
12	Oded Shor, Felix Benninger, Andrei Yu. Khrennikov	Towards Unification of General Relativity and Quantum Theory: Dendrogram Representation of the Event-Universe.	Entropy	2022	DBLP DOI BibTeX RDF
12	Ehsan Abedi, Simone Carlo Surace, Jean-Pascal Pfister	A Unification of Weighted and Unweighted Particle Filters.	SIAM J. Control. Optim.	2022	DBLP DOI BibTeX RDF
12	Stefan Becher, Armin Gerl	ConTra Preference Language: Privacy Preference Unification via Privacy Interfaces.	Sensors	2022	DBLP DOI BibTeX RDF
12	Dennis de Champeaux	Faster Linear Unification Algorithm.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
12	Steven Eker	Associative unification in Maude.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
12	Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner	Unification and combination of a class of traversal strategies made with pattern matching and fixed-points.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
12	Zofia Kostrzycka	Projective unification in weakly transitive and weakly symmetric modal logics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Mojtaba Mojtahedi	Unification with parameters in the implication fragment of classical propositional logic.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
12	Bahram Farhadinia	An innovative unification process for probabilistic hesitant fuzzy elements and its application to decision making.	Fuzzy Optim. Decis. Mak.	2022	DBLP DOI BibTeX RDF
12	George A. Anastassiou	Unification of Fractional Calculi with Applications		2022	DOI RDF
12	Max Lübbering, Maren Pielka, Ilhamcengiz Henk, Rafet Sifa	Datastack: Unification of Heterogeneous Machine Learning Dataset Interfaces.	ICDE Workshops	2022	DBLP DOI BibTeX RDF
12	Seiichi Harata, Takuto Sakuma, Shohei Kato	Audio-Visual Shared Emotion Representation for Robust Emotion Recognition on Modality Missing Using Hemi-hyperspherical Embedding and Latent Space Unification.	HCI (38)	2022	DBLP DOI BibTeX RDF
12	Hai Lin 0005, Christopher Lynch	Local XOR Unification: Definitions, Algorithms and Application to Cryptography.	ICTAC	2022	DBLP DOI BibTeX RDF
12	Pedro Ângelo 0002, Mário Florido	Type Inference for Rank-2 Intersection Types Using Set Unification.	ICTAC	2022	DBLP DOI BibTeX RDF
12	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
12	René Arnulfo García-Hernández, Yulia Ledeneva, Ángel Hernández-Castañeda, Gabriela Villada Ramírez	Unification of Source-Code Re-Use Similarity Measures.	MICAI (1)	2022	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho	Nominal Anti-Unification with Atom-Variables.	FSCD	2022	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho	A Certified Algorithm for AC-Unification.	FSCD	2022	DBLP DOI BibTeX RDF
12	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).	IJCAR	2022	DBLP DOI BibTeX RDF
12	Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Mahtab Shahin, Amrendra Singh Yadav, Dirk Draheim	Towards Unification of Statistical Reasoning, OLAP and Association Rule Mining: Semantics and Pragmatics.	DASFAA (1)	2022	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Quentin Gougeon	Projective unification through duality.	AiML	2022	DBLP BibTeX RDF
12	Hiroki Uematsu, Phuc Nguyen 0001, Hideaki Takeda 0001	Design for Data Structures: Data Unification and Federation with Wikibase.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
12	Anshu Dubey, Tom Klosterman	Language Agnostic Approach for Unification of Implementation Variants for Different Computing Devices.	PPAM (1)	2022	DBLP DOI BibTeX RDF
12	Mirko Bunse	Unification of Algorithms for Quantification and Unfolding.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
12	Jordan Samhi, Jun Gao 0001, Nadia Daoudi, Pierre Graux, Henri Hoyez, Xiaoyu Sun 0002, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein	JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis.	ICSE	2022	DBLP DOI BibTeX RDF