|
|
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. |
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 |
|
|
|