|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Bin Yan 0004, Yi Jiang, Peize Sun, Dong Wang 0004, Zehuan Yuan, Ping Luo 0002, Huchuan Lu |
Towards Grand Unification of Object Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (21) ![In: Computer Vision - ECCV 2022 - 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXI, pp. 733-751, 2022, Springer, 978-3-031-19802-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Kitakyushu, Japan, July 19-22, 2022, Proceedings, pp. 315-326, 2022, Springer, 978-3-031-08529-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21 - 24, 2022, pp. 1516-1527, 2022, ACM, 978-1-4503-9352-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Anti-Unification of Unordered Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 37:1-37:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 18:1-18:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña |
Variant-Based Equational Anti-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings, pp. 44-60, 2022, Springer, 978-3-031-16766-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yingxue Fu |
Towards Unification of Discourse Annotation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (student) ![In: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, ACL 2022, Dublin, Ireland, May 22-27, 2022, pp. 132-142, 2022, Association for Computational Linguistics, 978-1-955917-23-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
12 | Ruyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu |
Generalizable synthesis through unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(OOPSLA), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Magnus Madsen, Jaco van de Pol |
Relational nullable types with Boolean unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(OOPSLA), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Kian Salimkhani |
Explaining unification in physics internally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(6), pp. 5861-5882, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(7), pp. 1301, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Peter Szabó, Jörg H. Siekmann |
E-Unification based on Generalized Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(8), pp. 898-917, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(3), pp. 286-311, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Sanghyun Lee, David K. Han, Hanseok Ko |
Multimodal Emotion Recognition Fusion Analysis Adapting BERT With Heterogeneous Feature Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 94557-94572, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv |
About the Unification Type of Fusions of Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(3), pp. 671-706, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Romain Raveaux |
On the unification of the graph edit distance and graph matching problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 145, pp. 240-246, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 80(7), pp. 9917-9959, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(7), pp. 1185, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 239, pp. 118309, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Stepan I. Bashmakov |
Unification in Pretabular Extensions of S4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 15(3), pp. 381-397, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Tara Mahfoud |
Visions of unification and integration: Building brains and communities in the European Human Brain Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 23(2), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Yezhou Liu, Radu Nicolescu, Jing Sun 0002 |
An efficient labelled nested multiset unification algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Membr. Comput. ![In: J. Membr. Comput. 3(3), pp. 194-204, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10469, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.08460, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.08146, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00386, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.14412, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.02182, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Sarah Rathnam, Susan A. Murphy, Finale Doshi-Velez |
Comparison and Unification of Three Regularization Methods in Batch Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.08134, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Ruyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu |
Occam Learning Meets Synthesis Through Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.14467, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Dong-Sheng Wang 0008 |
A comparative study of universal quantum computing models: towards a physical unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.07909, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Romain Raveaux |
On the unification of the graph edit distance and graph matching problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.06186, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.08301, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Sergey I. Kruzhilov |
Unification of computer reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.10438, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Xuanhong Chen, Hang Wang, Bingbing Ni |
X-volution: On the unification of convolution and self-attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.02253, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Guy E. Blelloch, Magdalen Dobson |
The Log-Interleave Bound: Towards the Unification of Sorting and the BST Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.11836, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.10618, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Technical Report: Anti-unification of Unordered Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00341, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
Efficient Full Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(4), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 27(1), pp. 55-90, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Slimane Bellaouar, Hadda Cherroun, Attia Nehar, Djelloul Ziadi |
Weighted automata sequence kernel: Unification and generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 212, pp. 106654, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Dong-Sheng Wang 0008 |
A comparative study of universal quantum computing models: Toward a physical unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Eng. ![In: Quantum Eng. 3(4), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(18), pp. 6313, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(5), pp. 1813, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
Proximity-Based Unification: An Efficient Implementation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 29(5), pp. 1238-1251, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 65(4), pp. 316-324, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021, pp. 8856-8865, 2021, IEEE, 978-1-6654-2812-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Paul Tarau |
A Family of Unification-Oblivious Program Transformations and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, pp. 3-19, 2021, Springer, 978-3-030-67437-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Frank Thomas Sautter, Bruno Ramos Mendonça |
Validity as Choiceless Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 204-211, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pp. 7073-7078, 2021, IEEE, 978-1-7281-9077-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Cleo Pau, Temur Kutsia |
Proximity-Based Unification and Matching for Fully Fuzzy Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11-14, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-4407-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeditCom ![In: IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2021, Athens, Greece, September 7-10, 2021, pp. 13-19, 2021, IEEE, 978-1-6654-4505-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Yulan Feng, Alan W. Black, Maxine Eskénazi |
Towards Automatic Route Description Unification in Spoken Dialog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLT ![In: IEEE Spoken Language Technology Workshop, SLT 2021, Shenzhen, China, January 19-22, 2021, pp. 685-692, 2021, IEEE, 978-1-7281-7066-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Doruk Kilitçioglu, Serdar Kadioglu |
Representing the Unification of Text Featurization using a Context-Free Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 15439-15445, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Marco Valentino, Mokanarangan Thayaparan, André Freitas |
Unification-based Reconstruction of Multi-hop Explanations for Science Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, EACL 2021, Online, April 19 - 23, 2021, pp. 200-211, 2021, Association for Computational Linguistics, 978-1-954085-02-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Jincheng Zhou, Volkan Ustun |
PySigma: Towards Enhanced Grand Unification for the Sigma Cognitive Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings, pp. 355-366, 2021, Springer, 978-3-030-93757-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDMCI ![In: Lecture Notes in Computational Intelligence and Decision Making - 2021 International Scientific Conference `Intellectual Systems of Decision-making and Problems of Computational Intelligence`, Proceedings, ISDMCI 2021, Zalizny Port, Kherson region, Ukraine, May 24-28, 2021., pp. 297-313, 2021, Springer, 978-3-030-82013-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Proceedings of the 17th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, PhD Symposium, and Posters, Kherson, Ukraine, September 28 - October 2, 2021., pp. 10-23, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Gabriele Picco, Thanh Lam Hoang, Marco Luca Sbodio, Vanessa López |
Neural Unification for Logic Reasoning over Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November, 2021, pp. 3939-3950, 2021, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
A Special Case of Schematic Syntactic Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 75-82, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Barbara Morawska 0001 |
Unification in the Description Logic FL⊥. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Maryam Rostamigiv |
Restricted Unification in the DL EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv |
Restricted Unification in the DL FL0 (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Pascal Fontaine, Hans-Jörg Schurr |
Quantifier Simplification by Unification in SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 232-249, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv |
Restricted Unification in the DL ℱ0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 81-97, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Non-disjoint Combined Unification and Closure by Equational Paramodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 25-42, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event., pp. 110-119, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Magnus Madsen, Jaco van de Pol |
Polymorphic types and effects with Boolean unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 154:1-154:29, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 54, pp. 102555, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Fred Mesnard, Étienne Payet, Germán Vidal |
Selective Unification in (Constraint) Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 177(3-4), pp. 359-383, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(5), pp. 817, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(22), pp. 3747, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Idempotent Anti-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 21(2), pp. 10:1-10:32, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro |
A Mechanized Proof of a Textbook Type Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RITA ![In: RITA 27(3), pp. 13-24, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Ajay Kumar Eeralla, Christopher Lynch |
Bounded ACh unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(6), pp. 664-682, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Yunus D. K. Kutz, Manfred Schmidt-Schauß |
Rewriting with generalized nominal unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(6), pp. 710-735, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Philippe Balbiani |
Introduction to the special issue: Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(6), pp. 570-571, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin |
Extensions of unification modulo ACUI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(6), pp. 597-626, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Koch |
Unification of Graphs and Relations in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 28(2), pp. 173-186, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Radu Iordanescu, Florin Felix Nichita, Ovidiu Pasarescu |
Unification Theories: Means and Generalized Euler Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 9(4), pp. 144, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Mariano Fernández-Corazza, Sergei Turovets, Carlos Horacio Muravchik |
Unification of optimal targeting methods in transcranial electrical stimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 209, pp. 116403, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Hiba Sebei, Mohamed Ali Hadj Taieb, Mohamed Ben Aouicha |
SNOWL model: social networks unification-based semantic data integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 62(11), pp. 4297-4336, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Piotr Litwin, Marcin Milkowski |
Unification by Fiat: Arrested Development of Predictive Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 44(7), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
Anti-unification and the theory of semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 848, pp. 133-139, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer |
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 108(5), pp. 941-966, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(3), pp. 698-703, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13, pp. 3942-3950, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan Abedi, Simone Carlo Surace, Jean-Pascal Pfister |
A Unification of Weighted and Unweighted Particle Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.13804, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Marco Valentino, Mokanarangan Thayaparan, André Freitas |
Unification-based Reconstruction of Explanations for Science Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00061, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Harrie Oosterhuis |
Learning from User Interactions with Rankings: A Unification of the Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06576, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Damián Aparicio-Sánchez, Santiago Escobar 0001, Julia Sapiña |
Variant-based Equational Unification under Constructor Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Technical Communications ![In: Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020., pp. 38-51, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.08385, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.01035, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.07904, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.14571, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Marco Valentino, Mokanarangan Thayaparan, André Freitas |
Explainable Natural Language Reasoning via Conceptual Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.14539, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
Efficient Full Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.09507, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Hongyu Li, Dan Meng, Xiaolin Li 0001 |
Knowledge Federation: Hierarchy and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.01647, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Harrie Oosterhuis |
Learning from user interactions with rankings: a unification of the field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR Forum ![In: SIGIR Forum 54(2), pp. 16:1-16:2, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
|
|