|
|
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 | Guangming Lang, Junfang Luo, Yiyu Yao |
Three-way conflict analysis: A unification of models based on rough sets and formal concept analysis. |
Knowl. Based Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Vitaly Kocharovsky, Vladimir Kocharovsky, Sergey Tarasov |
Unification of the Nature's Complexities via a Matrix Permanent - Critical Phenomena, Fractals, Quantum Computing, ♯P-Complexity. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
12 | James Kunert-Graf, Nikita A. Sakhanenko, David J. Galas |
Partial Information Decomposition and the Information Delta: A Geometric Unification Disentangling Non-Pairwise Information. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Hai Lin 0005, Christopher Lynch |
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
12 | Masaomi Kimura |
Correspondence analysis-based network clustering and importance of degenerate solutions unification of spectral clustering and modularity maximization. |
Soc. Netw. Anal. Min. |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nakhoon Choi, Heeyoul Kim |
Hybrid Blockchain-based Unification ID in Smart Environment. |
ICACT |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Sergey A. Stupnikov |
Applying Model-Driven Approach for Data Model Unification. |
M2P |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Temur Kutsia, Andrew M. Marshall (eds.) |
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Andreas Blass |
Functional Thesauri, Classifying Topoi, Unification, and Flatness. |
Fields of Logic and Computation III |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Undecidability of Semi-Unification on a Napkin. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Unital Anti-Unification: Type and Algorithms. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
Efficient Full Higher-Order Unification. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Jayesh Patel |
Unification of Machine Learning Features. |
COMPSAC |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Daniel J. Abadi, Owen Arden, Faisal Nawab, Moshe Shadmon |
AnyLog: a Grand Unification of the Internet of Things. |
CIDR |
2020 |
DBLP BibTeX RDF |
|
12 | Eray Özkural |
Omega: An Architecture for AI Unification. |
AGI |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Marco Abbadini, Federica Di Stefano 0001, Luca Spada |
Unification in Łukasiewicz Logic with a Finite Number of Variables. |
IPMU (3) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Welsch, Vitaliy Kurlin |
Synthesis through unification genetic programming. |
GECCO |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Rostyslav Tarasenko, Svitlana Amelina |
A Unification of the Study of Terminological Resource Management in the Automated Translation Systems as an Innovative Element of Technological Training of Translators. |
ICTERI Workshops |
2020 |
DBLP BibTeX RDF |
|
12 | Wei Jiang, Wei Wang 0311, Shan Liu 0001 |
Structured Weight Unification and Encoding for Neural Network Compression and Acceleration. |
CVPR Workshops |
2020 |
DBLP BibTeX RDF |
|
12 | Simon Spies, Yannick Forster 0002 |
Undecidability of higher-order unification formalised in Coq. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nuri Cingillioglu, Alessandra Russo |
Learning Invariants through Soft Unification. |
NeurIPS |
2020 |
DBLP BibTeX RDF |
|
12 | José Meseguer 0001 |
Variants in the Infinitary Unification Wonderland. |
WRLA@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk). |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Barbara Morawska 0001 |
Unification in FL0 Modulo a Flat TBox. |
Description Logics |
2020 |
DBLP BibTeX RDF |
|
12 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Terminating Non-disjoint Combined Unification. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Yunus D. K. Kutz |
Nominal Unification with Letrec and Environment-Variables. |
LOPSTR |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Philipp Ladwig, Kester Evers, Eric J. Jansen, Ben Fischer, David Nowottnik, Christian Geiger 0001 |
MotionHub: Middleware for Unification of Multiple Body Tracking Systems. |
MOCO |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Seiichi Harata, Takuto Sakuma, Shohei Kato |
Emotional Space by Combining Recognition and Unification Tasks Using Multimodal DNN. |
GCCE |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Paliath Narendran, Saumya Arora, Yu Zhang |
An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Stéphanie Delaune |
Rewriting in Protocol Verification. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar, Brandon Rozek |
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Paliath Narendran, Ashley Suchy, Yu Zhang |
Some Results on Prefix Grammars. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Manfred Schmidt-Schauß |
Nominal Algorithms: Applications and Extensions. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
An Investigation into General Nominal Equational Problems (Work in progress). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
12 | Michael J. Risbeck, Christos T. Maravelias, James B. Rawlings |
Unification of closed-loop scheduling and control: State-space formulations, terminal constraints, and nominal theoretical properties. |
Comput. Chem. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wolfram Weckwerth |
Toward a Unification of System-Theoretical Principles in Biology and Ecology - The Stochastic Lyapunov Matrix Equation and Its Inverse Application. |
Frontiers Appl. Math. Stat. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Tomas Ambra, An Caris, Cathy Macharis |
Towards freight transport system unification: reviewing and combining the advancements in the physical internet and synchromodal transport research. |
Int. J. Prod. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Roski |
Bolzano and Kim on grounding and unification. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Molly Kao |
Unification beyond justification: a strategy for theory development. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Surabhi Hom Choudhury, Amioy Kumar, Shahedul Haque Laskar |
Biometric Authentication through Unification of Finger Dorsal Biometric Traits. |
Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Chuck C. Liang |
On the unification of classical, intuitionistic and affine logics. |
Math. Struct. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Florin F. Nichita |
Unification Theories: New Results and Examples. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Carlos A. Rubio, Felipe A. Asenjo, Sergio A. Hojman |
Quantum Cosmologies under Geometrical Unification of Gravity and Dark Energy. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Valeria Mongelli, Erik L. Meijs, Simon van Gaal, Peter Hagoort |
No language unification without neural feedback: How awareness affects sentence processing. |
NeuroImage |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Philippe F. Gourdine, Matthew H. Brush, Nicole A. Vasilevsky, Kent A. Shefchek, Sebastian Köhler 0001, Nicolas Matentzoglu, Monica C. Munoz-Torres, Julie A. McMurry, Xingmin Aaron Zhang, Peter N. Robinson, Melissa A. Haendel |
Representing glycophenotypes: semantic unification of glycobiology resources for disease discovery. |
Database J. Biol. Databases Curation |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jianghua Duan, Yongsheng Ou, Sheng Xu 0004, Ming Liu 0001 |
Sequential learning unification controller from human demonstrations for robotic compliant manipulation. |
Neurocomputing |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Deciding Context Unification. |
J. ACM |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Dusan Jakovetic |
A Unification and Generalization of Exact Distributed First-Order Methods. |
IEEE Trans. Signal Inf. Process. over Networks |
2019 |
DBLP DOI BibTeX RDF |
|
12 | René Haberland |
Unification of Template-Expansion and XML-Validation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Luka Nenadovic, Vladimir Prelovac |
Deep learning based unsupervised concept unification in the embedding space. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer |
About the unification type of simple symmetric modal logics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Chiranjib Sur |
CRUR: Coupled-Recurrent Unit for Unification, Conceptualization and Context Capture for Language Representation - A Generalization of Bi Directional LSTM. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of iterative insertion strategies with one-step traversals. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Anti-unification in Constraint Logic Programming. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Jiaming Liu, Chihao Wu 0001, Yuzhi Wang, Qin Xu, Yuqian Zhou, Haibin Huang, Chuan Wang 0001, Shaofan Cai, Yifan Ding, Haoqiang Fan, Jue Wang 0001 |
Learning Raw Image Denoising with Bayer Pattern Unification and Bayer Preserving Augmentation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel |
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of iterative insertion strategies with rudimentary traversals and failure. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Nuri Cingillioglu, Alessandra Russo |
Learning Invariants through Soft Unification. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Vinícius R. Máximo, Mariá C. V. Nascimento |
Intensification, learning and diversification in a hybrid metaheuristic: an efficient unification. |
J. Heuristics |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Toshiyuki Nakajima |
Unification of Epistemic and Ontic Concepts of Information, Probability, and Entropy, Using Cognizers-System Model. |
Entropy |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Edward Bormashenko |
The Landauer Principle: Re-Formulation of the Second Thermodynamics Law or a Step to Great Unification? |
Entropy |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Peter Ochs, Jalal Fadili, Thomas Brox |
Non-smooth Non-convex Bregman Minimization: Unification and New Algorithms. |
J. Optim. Theory Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wei Jiang, Zheng Wang 0008, Jesse S. Jin, Xian-Feng Han, Chunguang Li |
Speech Emotion Recognition with Heterogeneous Feature Unification of Deep Neural Network. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Unification in superintuitionistic Predicate Logics and its Applications. |
Rev. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, David Sabel, Yunus D. K. Kutz |
Nominal unification with atom-variables. |
J. Symb. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Anti-unification in Constraint Logic Programming. |
Theory Pract. Log. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | J. Gerard Wolff |
Mathematics as Information Compression via the Matching and Unification of Patterns. |
Complex. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani |
Remarks about the unification type of several non-symmetric non-transitive modal logics. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Unification in first-order transitive modal logic. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Krishnaiyan Thulasiraman, Mamta Yadav, Kshirasagar Naik |
Network Science Meets Circuit Theory: Resistance Distance, Kirchhoff Index, and Foster's Theorems With Generalizations and Unification. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ihab F. Ilyas |
Data unification at scale: data tamer. |
Making Databases Work |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Irina Perfilieva, Anand Pratap Singh, S. P. Tiwari |
Aggregation Through Composition: Unification of Three Principal Fuzzy Theories. |
AGOP |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani |
Unification in Modal Logic. |
ICLA |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Shuichiro Yamamoto |
Enterprise Architecture Towards Transdisciplinary Knowledge Unification. |
IIAI-AAI |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Qiang Duan, Shangguang Wang |
Network Cloudification Enabling Network - Cloud/Fog Service Unification: State of the Art and Challenges. |
SERVICES |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Maria Mannone, Federico Favali |
Categories, Musical Instruments, and Drawings: A Unification Dream. |
MCM |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Andrei Arusoaie, Dorel Lucanu |
Unification in Matching Logic. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, Ugo Montanari, Giorgio Mossa |
A Coalgebraic Approach to Unification Semantics of Logic Programming. |
The Art of Modelling Computational Systems |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran |
Asymmetric Unification and Disunification. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Xinyan Jiang, Meng Ding |
Unsupervised Monocular Depth Estimation with Scale Unification. |
ISCID (1) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Rule-Based Unification in Combined Theories and the Finite Variant Property. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Hangbo Bao, Li Dong 0004, Furu Wei, Wenhui Wang 0003, Nan Yang 0002, Lei Cui 0001, Songhao Piao, Ming Zhou 0001 |
Inspecting Unification of Encoding and Matching with Transformer: A Case Study of Machine Reading Comprehension. |
MRQA@EMNLP |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Deciding Context Unification (with Regular Constraints). |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jesús Domínguez, Maribel Fernández |
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. |
FCT |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Lists with Reverse Relation with Certain Word Equations. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bhayat, Giles Reger |
Restricted Combinatory Unification. |
CADE |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, Ana Klimovic, Adrian Schüpbach, Bernard Metzler |
Unification of Temporary Storage in the NodeKernel Architecture. |
USENIX Annual Technical Conference |
2019 |
DBLP BibTeX RDF |
|
12 | Alexei Korolev, Ilia Garmashov |
Game Equilibria and Transition Dynamics with Networks Unification. |
WCGO |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jiaming Liu, Chihao Wu 0001, Yuzhi Wang, Qin Xu, Yuqian Zhou, Haibin Huang, Chuan Wang 0001, Shaofan Cai, Yifan Ding, Haoqiang Fan, Jue Wang 0001 |
Learning Raw Image Denoising With Bayer Pattern Unification and Bayer Preserving Augmentation. |
CVPR Workshops |
2019 |
DBLP BibTeX RDF |
|
12 | Chang Zhou, Lai Man Po, Mengyang Liu, Wilson Y. F. Yuen, Peter H. W. Wong, Hon-Tung Luk, Kin Wai Lau, Hok Kwan Cheung |
Deep Hashing with Triplet Labels and Unification Binary Code Selection for Fast Image Retrieval. |
MMM (1) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
A Certified Functional Nominal C-Unification Algorithm. |
LOPSTR |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Reda Belaiche, Cyrille Migniot, Dominique Ginhac, Fan Yang 0019 |
Time Unification on Local Binary Patterns Three Orthogonal Planes for Facial Expression Recognition. |
SITIS |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. |
FroCos |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Peter Golubtsov |
Information Spaces for Big Data Processing: Unification and Parallelization of Sequential Information Accumulation Procedures. |
CBI (1) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Besik Dundua, Temur Kutsia, Mikheil Rukhaia |
Unranked Nominal Unification. |
TbiLLC |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel |
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language. |
ACL (1) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios K. Iakovidis, Spiros V. Georgakopoulos, Michael Vasilakakis, Anastasios Koulaouzidis, Vassilis P. Plagianakos |
Detecting and Locating Gastrointestinal Anomalies Using Deep Learning and Iterative Cluster Unification. |
IEEE Trans. Medical Imaging |
2018 |
DBLP DOI BibTeX RDF |
|
|
|