Search results for "Unification"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Bin Yan 0004, Yi Jiang, Peize Sun, Dong Wang 0004, Zehuan Yuan, Ping Luo 0002, Huchuan Lu	Towards Grand Unification of Object Tracking.	ECCV (21)	2022	DBLP DOI BibTeX RDF
12	Claudio Tomazzoli, Simone Scannapieco, Matteo Cristani	Forensic Analysis of Text and Messages in Smartphones by a Unification Rosetta Stone Procedure.	IEA/AIE	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.	FAccT	2022	DBLP DOI BibTeX RDF
12	Gonzague Yernaux, Wim Vanhoof	Anti-Unification of Unordered Goals.	CSL	2022	DBLP DOI BibTeX RDF
12	Andrej Dudenhefner	Constructive Many-One Reduction from the Halting Problem to Semi-Unification.	CSL	2022	DBLP DOI BibTeX RDF
12	María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña	Variant-Based Equational Anti-unification.	LOPSTR	2022	DBLP DOI BibTeX RDF
12	Yingxue Fu	Towards Unification of Discourse Annotation Frameworks.	ACL (student)	2022	DBLP DOI BibTeX RDF
12	Erwan Lenormand	Unification des mémoires réparties dans les systèmes hétérogènes. (Unifying Distributed Memories in Heterogeneous Systems).		2022	RDF
12	Ruyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu	Generalizable synthesis through unification.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
12	Magnus Madsen, Jaco van de Pol	Relational nullable types with Boolean unification.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
12	Kian Salimkhani	Explaining unification in physics internally.	Synth.	2021	DBLP DOI BibTeX RDF
12	Cheonjae Lee, Walter Timo de Vries	Testing and Validating the Suitability of Geospatially Informed Proxies on Land Tenure in North Korea for Korean (Re-)Unification.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
12	Peter Szabó, Jörg H. Siekmann	E-Unification based on Generalized Embedding.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho	Formalising nominal C-unification generalised with protected variables.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Sanghyun Lee, David K. Han, Hanseok Ko	Multimodal Emotion Recognition Fusion Analysis Adapting BERT With Heterogeneous Feature Unification.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv	About the Unification Type of Fusions of Modal Logic.	FLAP	2021	DBLP BibTeX RDF
12	Romain Raveaux	On the unification of the graph edit distance and graph matching problems.	Pattern Recognit. Lett.	2021	DBLP DOI BibTeX RDF
12	Chiranjib Sur	CRUR: coupled-recurrent unit for unification, conceptualization and context capture for language representation - a generalization of bi directional LSTM.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
12	Nan Deng, Qin Zhang	The Application of Dynamic Uncertain Causality Graph Based Diagnosis and Treatment Unification Model in the Intelligent Diagnosis and Treatment of Hepatitis B.	Symmetry	2021	DBLP DOI BibTeX RDF
12	Ali Hashemi 0002, Chang Cai, Gitta Kutyniok, Klaus-Robert Müller, Srikantan S. Nagarajan, Stefan Haufe	Unification of sparse Bayesian learning algorithms for electromagnetic brain imaging with the majorization minimization framework.	NeuroImage	2021	DBLP DOI BibTeX RDF
12	Stepan I. Bashmakov	Unification in Pretabular Extensions of S4.	Logica Universalis	2021	DBLP DOI BibTeX RDF
12	Tara Mahfoud	Visions of unification and integration: Building brains and communities in the European Human Brain Project.	New Media Soc.	2021	DBLP DOI BibTeX RDF
12	Yezhou Liu, Radu Nicolescu, Jing Sun 0002	An efficient labelled nested multiset unification algorithm.	J. Membr. Comput.	2021	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.	CoRR	2021	DBLP BibTeX RDF
12	Gabriele Picco, Hoang Thanh Lam, Marco Luca Sbodio, Vanessa López Garcia	Neural Unification for Logic Reasoning over Natural Language.	CoRR	2021	DBLP 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.	CoRR	2021	DBLP BibTeX RDF
12	Zümrüt Akçam, Daniel S. Hono II, Paliath Narendran, Andrew Pulver	On Problems Dual to Unification: The String-Rewriting Case.	CoRR	2021	DBLP BibTeX RDF
12	Andrea Bajcsy, Karen Leung, Edward Schmerling, Marco Pavone 0001	Towards the Unification and Data-Driven Synthesis of Autonomous Vehicle Safety Concepts.	CoRR	2021	DBLP BibTeX RDF
12	Alexandros Syrakos, Oliver F. Oxtoby, Eugene De Villiers, Stylianos Varchanis, Yannis Dimakopoulos, John Tsamopoulos	A unification of least-squares and Green-Gauss gradients under a common projection-based gradient reconstruction framework.	CoRR	2021	DBLP BibTeX RDF
12	Sarah Rathnam, Susan A. Murphy, Finale Doshi-Velez	Comparison and Unification of Three Regularization Methods in Batch Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
12	Ruyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu	Occam Learning Meets Synthesis Through Unification.	CoRR	2021	DBLP BibTeX RDF
12	Dong-Sheng Wang 0008	A comparative study of universal quantum computing models: towards a physical unification.	CoRR	2021	DBLP BibTeX RDF
12	Romain Raveaux	On the unification of the graph edit distance and graph matching problems.	CoRR	2021	DBLP BibTeX RDF
12	Sheng Lin 0001, Wei Jiang, Wei Wang 0311, Kaidi Xu, Yanzhi Wang, Shan Liu 0001, Songnan Li	Efficient Micro-Structured Weight Unification and Pruning for Neural Network Compression.	CoRR	2021	DBLP BibTeX RDF
12	Sergey I. Kruzhilov	Unification of computer reality.	CoRR	2021	DBLP BibTeX RDF
12	Xuanhong Chen, Hang Wang, Bingbing Ni	X-volution: On the unification of convolution and self-attention.	CoRR	2021	DBLP BibTeX RDF
12	Guy E. Blelloch, Magdalen Dobson	The Log-Interleave Bound: Towards the Unification of Sorting and the BST Model.	CoRR	2021	DBLP BibTeX RDF
12	Sushant Agarwal, Shahin Jabbari, Chirag Agarwal, Sohini Upadhyay, Zhiwei Steven Wu, Himabindu Lakkaraju	Towards the Unification and Robustness of Perturbation and Gradient Based Explanations.	CoRR	2021	DBLP BibTeX RDF
12	Gonzague Yernaux, Wim Vanhoof	Technical Report: Anti-unification of Unordered Goals.	CoRR	2021	DBLP BibTeX RDF
12	Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin	Efficient Full Higher-Order Unification.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Bharat Bhushan, Chinmayee Sahoo, Preeti Sinha, Aditya Khamparia	Unification of Blockchain and Internet of Things (BIoT): requirements, working model, challenges and future directions.	Wirel. Networks	2021	DBLP DOI BibTeX RDF
12	Slimane Bellaouar, Hadda Cherroun, Attia Nehar, Djelloul Ziadi	Weighted automata sequence kernel: Unification and generalization.	Knowl. Based Syst.	2021	DBLP DOI BibTeX RDF
12	Dong-Sheng Wang 0008	A comparative study of universal quantum computing models: Toward a physical unification.	Quantum Eng.	2021	DBLP DOI BibTeX RDF
12	Piotr Bieganski, Anna Stróz, Marian Dovgialo, Anna Duszyk, Piotr J. Durka	On the Unification of Common Actigraphic Data Scoring Algorithms.	Sensors	2021	DBLP DOI BibTeX RDF
12	Chunzhi Yi, Feng Jiang 0001, Chifu Yang, Zhiyuan Chen 0007, Zhen Ding, Jie Liu 0001	Reference Frame Unification of IMU-Based Joint Angle Estimation: The Experimental Investigation and a Novel Method.	Sensors	2021	DBLP DOI BibTeX RDF
12	Pascual Julián Iranzo, Fernando Sáenz-Pérez	Proximity-Based Unification: An Efficient Implementation Method.	IEEE Trans. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
12	Bandana Bali, Brij Mohan Singh	Unification of firefly algorithm with density-based spatial clustering for segmentation of medical images.	Int. J. Comput. Appl. Technol.	2021	DBLP DOI BibTeX RDF
12	Rui Gong, Dengxin Dai, Yuhua Chen, Wen Li 0001, Luc Van Gool	mDALU: Multi-Source Domain Adaptation and Label Unification with Partial Datasets.	ICCV	2021	DBLP DOI BibTeX RDF
12	Paul Tarau	A Family of Unification-Oblivious Program Transformations and Their Applications.	PADL	2021	DBLP DOI BibTeX RDF
12	Frank Thomas Sautter, Bruno Ramos Mendonça	Validity as Choiceless Unification.	Diagrams	2021	DBLP DOI BibTeX RDF
12	Eric R. Ambrose, Wen-Loong Ma, Aaron D. Ames	Towards the Unification of System Design and Motion Synthesis for High-Performance Hopping Robots.	ICRA	2021	DBLP DOI BibTeX RDF
12	Cleo Pau, Temur Kutsia	Proximity-Based Unification and Matching for Fully Fuzzy Signatures.	FUZZ-IEEE	2021	DBLP DOI BibTeX RDF
12	Dimitrios Arampatzis, Konstantinos C. Apostolakis, George Margetis, Constantine Stephanidis, Eneko Atxutegi, Marta Amor, Nicola di Pietro, João Henriques, Luís Cordeiro, Jorge Carapinha, Hamzeh Khalili, Asad Rehman	Unification architecture of cross-site 5G testbed resources for PPDR verticals.	MeditCom	2021	DBLP DOI BibTeX RDF
12	Yulan Feng, Alan W. Black, Maxine Eskénazi	Towards Automatic Route Description Unification in Spoken Dialog Systems.	SLT	2021	DBLP DOI BibTeX RDF
12	Doruk Kilitçioglu, Serdar Kadioglu	Representing the Unification of Text Featurization using a Context-Free Grammar.	AAAI	2021	DBLP DOI BibTeX RDF
12	Marco Valentino, Mokanarangan Thayaparan, André Freitas	Unification-based Reconstruction of Multi-hop Explanations for Science Questions.	EACL	2021	DBLP DOI BibTeX RDF
12	Jincheng Zhou, Volkan Ustun	PySigma: Towards Enhanced Grand Unification for the Sigma Cognitive Architecture.	AGI	2021	DBLP DOI BibTeX RDF
12	Oleg Mashkov, Taras Ivashchenko, Waldemar Wójcik, Yuriy Bardachov, Viktor Kozel	Method of Mathematical and Geoinformation Models Integration Based On Unification of the Ecological Data Formalization.	ISDMCI	2021	DBLP DOI BibTeX RDF
12	Iryna Strutynska, Lesia Dmytrotsa, Halyna Kozbur, Liliya Melnyk, Roman Sherstiuk	The Unification of Approaches to Measuring the Digital Maturity of Business Structures (International and Domestic Approaches).	ICTERI	2021	DBLP BibTeX RDF
12	Gabriele Picco, Thanh Lam Hoang, Marco Luca Sbodio, Vanessa López	Neural Unification for Logic Reasoning over Natural Language.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
12	David M. Cerna	A Special Case of Schematic Syntactic Unification.	SYNASC	2021	DBLP DOI BibTeX RDF
12	Barbara Morawska 0001	Unification in the Description Logic FL⊥.	Description Logics	2021	DBLP BibTeX RDF
12	Franz Baader, Maryam Rostamigiv	Restricted Unification in the DL EL.	Description Logics	2021	DBLP BibTeX RDF
12	Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv	Restricted Unification in the DL FL0 (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
12	Pascal Fontaine, Hans-Jörg Schurr	Quantifier Simplification by Unification in SMT.	FroCoS	2021	DBLP DOI BibTeX RDF
12	Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv	Restricted Unification in the DL ℱ0.	FroCoS	2021	DBLP DOI BibTeX RDF
12	Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen	Non-disjoint Combined Unification and Closure by Equational Paramodulation.	FroCoS	2021	DBLP DOI BibTeX RDF
12	Sushant Agarwal, Shahin Jabbari, Chirag Agarwal, Sohini Upadhyay, Steven Wu 0001, Himabindu Lakkaraju	Towards the Unification and Robustness of Perturbation and Gradient Based Explanations.	ICML	2021	DBLP BibTeX RDF
12	Magnus Madsen, Jaco van de Pol	Polymorphic types and effects with Boolean unification.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
12	Nikolaos Dalezios, Stavros Shiaeles, Nicholas Kolokotronis, Bogdan Ghita 0003	Digital forensics cloud log unification: Implementing CADF in Apache CloudStack.	J. Inf. Secur. Appl.	2020	DBLP DOI BibTeX RDF
12	Fred Mesnard, Étienne Payet, Germán Vidal	Selective Unification in (Constraint) Logic Programming.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
12	Dinh Toan Vu, Sean Bruinsma, Sylvain Bonvalot, Dominique Remy, George S. Vergos	A Quasigeoid-Derived Transformation Model Accounting for Land Subsidence in the Mekong Delta towards Height System Unification in Vietnam.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
12	Thomas Gruber 0003, Jonas Ågren, Detlef Angermann, Artu Ellmann, Andreas Engfeldt, Christoph Gisinger, Leszek Jaworski, Simo Marila, Jolanta Nastula, Faramarz Nilfouroushan, Xanthi Oikonomidou, Markku Poutanen, Timo Saari, Marius Schlaak, Anna Swiatek, Sander Varbla, Ryszard Zdunek	Geodetic SAR for Height System Unification and Sea Level Research - Observation Concept and Preliminary Results in the Baltic Sea.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
12	David M. Cerna, Temur Kutsia	Idempotent Anti-unification.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
12	André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro	A Mechanized Proof of a Textbook Type Unification Algorithm.	RITA	2020	DBLP DOI BibTeX RDF
12	Ajay Kumar Eeralla, Christopher Lynch	Bounded ACh unification.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Yunus D. K. Kutz, Manfred Schmidt-Schauß	Rewriting with generalized nominal unification.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Philippe Balbiani	Introduction to the special issue: Unification.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin	Extensions of unification modulo ACUI.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Sebastian Koch	Unification of Graphs and Relations in Mizar.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
12	Radu Iordanescu, Florin Felix Nichita, Ovidiu Pasarescu	Unification Theories: Means and Generalized Euler Formulas.	Axioms	2020	DBLP DOI BibTeX RDF
12	Mariano Fernández-Corazza, Sergei Turovets, Carlos Horacio Muravchik	Unification of optimal targeting methods in transcranial electrical stimulation.	NeuroImage	2020	DBLP DOI BibTeX RDF
12	Hiba Sebei, Mohamed Ali Hadj Taieb, Mohamed Ben Aouicha	SNOWL model: social networks unification-based semantic data integration.	Knowl. Inf. Syst.	2020	DBLP DOI BibTeX RDF
12	Piotr Litwin, Marcin Milkowski	Unification by Fiat: Arrested Development of Predictive Processing.	Cogn. Sci.	2020	DBLP DOI BibTeX RDF
12	David M. Cerna	Anti-unification and the theory of semirings.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer	About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$.	Stud Logica	2020	DBLP DOI BibTeX RDF
12	Thomas Desvignes, Phillipe Loher, Karen Eilbeck, Jeffery Ma, Gianvito Urgese, Bastian Fromm, Jason Sydes, Ernesto Aparicio-Puerta, Víctor Barrera, Roderic Espín, Florian Thibord, Xavier Bofill-De Ros, Eric Londin, Aristeidis G. Telonis, Elisa Ficarra, Marc R. Friedländer, John H. Postlethwait, Isidore Rigoutsos, Michael Hackenberg, Ioannis S. Vlachos, Marc K. Halushka, Lorena Pantano	Unification of miRNA and isomiR research: the mirGFF3 format and the mirtop API.	Bioinform.	2020	DBLP DOI BibTeX RDF
12	Wenxiao Sun, Jian Wang 0048, Fengxiang Jin	An Automatic Coordinate Unification Method of Multitemporal Point Clouds Based on Virtual Reference Datum Detection.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2020	DBLP DOI BibTeX RDF
12	Ehsan Abedi, Simone Carlo Surace, Jean-Pascal Pfister	A Unification of Weighted and Unweighted Particle Filters.	CoRR	2020	DBLP BibTeX RDF
12	Marco Valentino, Mokanarangan Thayaparan, André Freitas	Unification-based Reconstruction of Explanations for Science Questions.	CoRR	2020	DBLP BibTeX RDF
12	Harrie Oosterhuis	Learning from User Interactions with Rankings: A Unification of the Field.	CoRR	2020	DBLP BibTeX RDF
12	Damián Aparicio-Sánchez, Santiago Escobar 0001, Julia Sapiña	Variant-based Equational Unification under Constructor Symbols.	ICLP Technical Communications	2020	DBLP DOI BibTeX RDF
12	Rui Gong, Dengxin Dai, Yuhua Chen, Wen Li 0001, Luc Van Gool	mDALU: Multi-Source Domain Adaptation and Label Unification with Partial Datasets.	CoRR	2020	DBLP BibTeX RDF
12	Nikhil Fernandes, Alexandra Gkolia, Nicolas Pizzo, James H. Davenport, Akshar Nair	Unification of HDP and LDA Models for Optimal Topic Clustering of Subject Specific Question Banks.	CoRR	2020	DBLP BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev	About the unification types of the modal logics determined by classes of deterministic frames.	CoRR	2020	DBLP BibTeX RDF
12	Stein K. F. Stoter, Marco F. P. ten Eikelder, Frits de Prenter, Ido Akkerman, E. Harald van Brummelen, Clemens V. Verhoosel, Dominik Schillinger	Unification of variational multiscale analysis and Nitsche's method, and a resulting boundary layer fine-scale model.	CoRR	2020	DBLP BibTeX RDF
12	Marco Valentino, Mokanarangan Thayaparan, André Freitas	Explainable Natural Language Reasoning via Conceptual Unification.	CoRR	2020	DBLP BibTeX RDF
12	Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin	Efficient Full Higher-Order Unification.	CoRR	2020	DBLP BibTeX RDF
12	Hongyu Li, Dan Meng, Xiaolin Li 0001	Knowledge Federation: Hierarchy and Unification.	CoRR	2020	DBLP BibTeX RDF
12	Harrie Oosterhuis	Learning from user interactions with rankings: a unification of the field.	SIGIR Forum	2020	DBLP DOI BibTeX RDF