Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
A Formalisation of Nominal C-Matching through Unification with Protected Variables. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Wen-Ran Zhang |
A Logical Path From Neural Ensemble Formation to Cognition With Mind-Light-Matter Unification: The Eternal Dao Can Be Told (Survey). |
Int. J. Cogn. Informatics Nat. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Tinko Tinchev |
Elementary Unification in Modal Logic KD45. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
12 | Florin F. Nichita |
Unification Theories: Examples and Applications. |
Axioms |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Panda Sumati Kumari, Badriah A. S. Alamri, Nawab Hussain, Sumit Chandok |
Unification of the Fixed Point in Integral Type Metric Spaces. |
Symmetry |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Wouter Tierens |
Unification of Leapfrog and Crank-Nicolson Finite Difference Time Domain Methods. |
SIAM J. Sci. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Eric Norige, Alex X. Liu, Eric Torng |
A Ternary Unification Framework for Optimizing TCAM-Based Packet Classification Systems. |
IEEE/ACM Trans. Netw. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | David Sidilkover |
Towards unification of the Vorticity Confinement and Shock Capturing (TVD and ENO/WENO) methods. |
J. Comput. Phys. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Hossein Sargolzaei, Siamak Mohammadi |
Energy efficient configuration unification and compression for CGRAs. |
Microprocess. Microsystems |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Ajay Kumar Eeralla, Christopher Lynch |
Bounded ACh Unification. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Luona Yang, Xiaodan Liang, Eric P. Xing |
Unsupervised Real-to-Virtual Domain Unification for End-to-End Highway Driving. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Higher-Order Equational Pattern Anti-Unification [Preprint]. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Andrei Arusoaie, Dorel Lucanu |
Unification in Matching Logic - Extended Version. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | J. Gerard Wolff |
Mathematics as information compression via the matching and unification of patterns. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Eray Özkural |
Omega: An Architecture for AI Unification. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Dominic J. D. Hughes |
Unification nets: canonical proof net quantifiers. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Clément Aubert, Marc Bagnol |
Unification and Logarithmic Space. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Clément Aubert, Marc Bagnol |
Unification and Logarithmic Space. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jingcheng Fu, Jianwen Li, Yawei Niu, Guanghui Wang 0002, Jianliang Wu |
Multipolarization versus unification in community networks. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Adam D. Barwell, Christopher Brown 0002, Kevin Hammond |
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Liqian Zhou |
The Unification of Information Studies Through Diversity. |
Cybern. Hum. Knowing |
2018 |
DBLP BibTeX RDF |
|
12 | Polemnia G. Amazeen |
From physics to social interactions: Scientific unification via dynamics. |
Cogn. Syst. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Arkajyoti Saha, Swagatam Das |
On the unification of possibilistic fuzzy clustering: Axiomatic development and convergence analysis. |
Fuzzy Sets Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Aymeric Blot, Marie-Eléonore Marmion, Laetitia Jourdan |
Survey and unification of local search techniques in metaheuristics for multi-objective combinatorial optimisation. |
J. Heuristics |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Daniel J. Bernstein, Edoardo Persichetti |
Towards KEM Unification. |
IACR Cryptol. ePrint Arch. |
2018 |
DBLP BibTeX RDF |
|
12 | Zheng He, Kunpeng Bai, Dongdai Lin, Chuankun Wu |
Unification of identifiers in the Sea-Cloud system. |
Frontiers Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jesper Cockx, Dominique Devriese |
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. |
J. Funct. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Slawomir Kost |
Projective unification in transitive modal logics. |
Log. J. IGPL |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Zhaofei Yu, Feng Chen 0007, Fei Deng |
Unification of MAP Estimation and Marginal Inference in Recurrent Neural Networks. |
IEEE Trans. Neural Networks Learn. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Wolfram Kahl |
Finite Limits and Anti-unification in Substitution Categories. |
WADT |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
Unification Modulo Builtins. |
WoLLIC |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
The involutions-as-principal types/application-as-unification Analogy. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Mirko Bunse, Nico Piatkowski, Katharina Morik, Tim Ruhe, Wolfgang Rhode |
Unification of Deconvolution Algorithms for Cherenkov Astronomy. |
DSAA |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Viktor Kureichik, Irina Safronenkova |
Circuit Partitioning Problem Clustering Method Based on Adjacency Matrix Unification. |
EWDTS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Pascual Julián Iranzo, Fernando Sáenz-Pérez |
An Efficient Proximity-based Unification Algorithm⋆. |
FUZZ-IEEE |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Maria Eugenia Cornejo, Jesús Medina-Moreno, Clemente Rubio-Manzano |
Towards a Full Fuzzy Unification in the Bousi Prolog system. |
FUZZ-IEEE |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Dominic J. D. Hughes |
Unification nets: canonical proof net quantifiers. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Youngjo Kim, Kayla C. Dean, Yoshiaki Kawajiri, Ronald W. Rousseau, Martha A. Grover |
Unification of an empirical and a physically-based approach to crystallization monitoring. |
ACC |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro |
Type inference for GADTs, outsidein and anti-unification. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jiaheng Lu, Zhen Hua Liu, Pengfei Xu 0004, Chao Zhang 0034 |
UDBMS: Road to Unification for Multi-model Data Management. |
ER Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jill-Jênn Vie |
Knowledge Tracing Machines: Towards an Unification of DKT, IRT & PFA. |
ITS Workshops |
2018 |
DBLP BibTeX RDF |
|
12 | Nicolas Stucki, Aggelos Biboudis, Martin Odersky |
A practical unification of multi-stage programming and macros. |
GPCE |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Justus Schollmeyer, Viesturs Tamuzs |
Discovery on Purpose? Toward the Unification of Paradigm Theory and the Theory of Inventive Problem Solving (TRIZ). |
TFC |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. |
TACAS (1) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Diana Maria Torres Ricaurte, Monica K. Villavicencio Cabezas, Carlos Mario Zapata Jaramillo |
Towards a Terminology Unification in Software Interoperability. |
SEAA |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jorge Ferraz de Abreu, Pedro Almeida 0002, Sílvia Fernandes, Ana Velhinho, Ana Rodrigues 0009 |
Content Unification: A Trend Reshaping the iTV Ecosystem. |
ICEC |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Jorge Ferraz de Abreu, Pedro Almeida 0002, Ana Velhinho, Sílvia Fernandes, Rafael Guedes |
An iTV Prototype for Content Unification. |
ICEC |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Pedro Almeida 0002, Jorge Ferraz de Abreu, Sílvia Fernandes, Eliza Oliveira |
Content Unification in iTV to Enhance User Experience: The UltraTV Project. |
TVX |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
Term-Graph Anti-Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, David Sabel |
Nominal Unification with Atom and Context Variables. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Higher-Order Equational Pattern Anti-Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho |
Fixed-Point Constraints for Nominal Equational Unification. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. |
WRLA@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Luona Yang, Xiaodan Liang, Tairui Wang, Eric P. Xing |
Real-to-Virtual Domain Unification for End-to-End Autonomous Driving. |
ECCV (4) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Sten Grüner, Johannes Schmitt 0001, Andrei Lobov, Hafiz Hassan |
An Approach for Interconnection and Unification of State Models in Discrete Manufacturing. |
INDIN |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Giorgio Giannone Codiglione |
Entropy in Digital Information and the Enforcement of Law: Towards a Unification of Remedies? |
Law via the Internet |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Tim O'Gorman, Sameer Pradhan, Martha Palmer, Julia Bonn, Kathryn Conger, James Gung |
The New Propbank: Aligning Propbank with AMR through POS Unification. |
LREC |
2018 |
DBLP BibTeX RDF |
|
12 | Loïc Vial, Benjamin Lecouteux, Didier Schwab |
UFSAC: Unification of Sense Annotated Corpora and Tools. |
LREC |
2018 |
DBLP BibTeX RDF |
|
12 | Aleksandrov Andrei Yuryevich, Barabanova Svetlana Vasilievna, Vereshchak Svetlana Borisovna, Ivanova Olga Andreevna, Aleksandrova Zhanna Anatolyevna |
Poster: From Unification to Self-identification of National Higher School in the World Educational Space: Comparative-Legal Research. |
ICL (2) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Adrián Castelló 0001 |
Unification of Lightweight Thread Solutions and their Application in High Performance Programming. |
|
2018 |
RDF |
|
12 | Dorine Petit |
Unification des stratégies de contrôle de réseau embarqué temps-réel reconfigurable. (Unified control strategies of embedded real-time reconfigurable network). |
|
2018 |
RDF |
|
12 | Erik Weber, Merel Lefevere |
Unification, the answer to resemblance questions. |
Synth. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Sedi Bartz, Heinz H. Bauschke, Xianfu Wang |
The Resolvent Order: A Unification of the Orders by Zarantonello, by Loewner, and by Moreau. |
SIAM J. Optim. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Sándor Radeleczki |
Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices. |
J. Multiple Valued Log. Soft Comput. |
2017 |
DBLP BibTeX RDF |
|
12 | Stepan I. Bashmakov, Anna V. Kosheleva, Vladimir V. Rybakov |
Unification for Multi-Agent Temporal Logics with Universal Modality. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
12 | Jonathan D. Hauenstein, Charles W. Wampler |
Unification and extension of intersection algorithms in numerical algebraic geometry. |
Appl. Math. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Slimane Oulad-Naoui, Hadda Cherroun, Djelloul Ziadi |
A formal series-based unification of the frequent itemset mining approaches. |
Knowl. Inf. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Tatsuya Akutsu, Jesper Jansson 0001, Atsuhiro Takasu, Takeyuki Tamura |
On the parameterized complexity of associative and commutative unification. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Ken Akiba |
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach. |
J. Philos. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Sho Kubota |
Unification of Graph Products and Compatibility with Switching. |
Graphs Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Veena Ravishankar, Kimberly A. Gero, Paliath Narendran |
Asymmetric Unification and Disunification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Ivaylo Hristakiev, Detlef Plump |
A Unification Algorithm for GP 2 (Long Version). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
Nominal C-Unification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Zümrüt Akçam, Daniel S. Hono II, Paliath Narendran |
On Problems Dual to Unification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Ole-Christoffer Granmo |
Bayesian Unification of Gradient and Bandit-based Learning for Accelerated Global Optimisation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Peter Ochs, Jalal Fadili, Thomas Brox |
Non-smooth Non-convex Bregman Minimization: Unification and new Algorithms. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Dusan Jakovetic |
A Unification, Generalization, and Acceleration of Exact Distributed First Order Methods. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | M. Ammar Ben Khadra |
E3Solver: decision tree unification by enumeration. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer |
Unification in epistemic logics. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner, Moritz Martens, Jakob Rehof |
The Algebraic Intersection Type Unification Problem. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | M. S. Zobaer, R. M. Anderson, Cliff C. Kerr, Peter A. Robinson, K. K. H. Wong, A. L. D'Rozario |
K-complexes, spindles, and ERPs as impulse responses: unification via neural field theory. |
Biol. Cybern. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
Higher-Order Pattern Anti-Unification in Linear Time. |
J. Autom. Reason. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Qian Lei, Zeshui Xu |
A Unification of Intuitionistic Fuzzy Calculus Theories Based on Subtraction Derivatives and Division Derivatives. |
IEEE Trans. Fuzzy Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Eberhard, Stefan Hetzl, Daniel Weller 0001 |
Boolean unification with predicates. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Baumgartner, Temur Kutsia |
Unranked second-order anti-unification. |
Inf. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Wenwu He, James Tin-Yau Kwok, Ji Zhu, Yang Liu 0018 |
A Note on the Unification of Adaptive Online Learning. |
IEEE Trans. Neural Networks Learn. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Sadiq T. Yakasai, Fu-Chun Zheng, Chris G. Guy |
Towards policy unification for enterprise network security. |
NetSoft |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Zeyuan Allen Zhu, Lorenzo Orecchia |
Linear Coupling: An Ultimate Unification of Gradient and Mirror Descent. |
ITCS |
2017 |
DBLP DOI BibTeX RDF |
|
12 | David R. Jefferson, Peter D. Barnes Jr. |
Virtual time III: Unification of conservative and optimistic synchronization in parallel discrete event simulation. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Loïc Vial, Benjamin Lecouteux, Didier Schwab |
Uniformisation de corpus anglais annotés en sens (Unification of sense annotated English corpora for word sense disambiguation). |
TALN (3) |
2017 |
DBLP BibTeX RDF |
|
12 | Wendy Dassen, Stephan Wensveen, Pierre Lévy |
Light Behavior Design: Violation of Unification Principles and the Effect on the User Experience. |
Conference on Designing Interactive Systems (Companion Volume) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Avisek Gupta, Swagatam Das |
On the Unification of k-Harmonic Means and Fuzzy c-Means Clustering Problems under Kernelization. |
ICAPR |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Recompression: New Approach to Word Equations and Context Unification (Invited Talk). |
STACS |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Fred Mesnard, Étienne Payet, Germán Vidal |
Selective unification in constraint logic programming. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Jesper Cockx, Dominique Devriese |
Lifting proof-relevant unification to higher dimensions. |
CPP |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Alimujiang Yasen, Kazunori Ueda |
Unification of Hypergraph \lambda -Terms. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Pedro Almeida 0002, Jorge Ferraz de Abreu, Telmo Silva, Enrickson Varsori, Eliza Oliveira, Ana Velhinho, Sílvia Fernandes, Rafael Guedes, Diogo Oliveira |
Iterative User Experience Evaluation of a User Interface for the Unification of TV Contents. |
jAUTI |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Klenner |
An Unification-Based Model for Attitude Prediction. |
TSD |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Yuri Malheiros, Fred Freitas |
Unification in EL for Competency Question Generation. |
Description Logics |
2017 |
DBLP BibTeX RDF |
|
12 | Médéric Hurier, Guillermo Suarez-Tangil, Santanu Kumar Dash 0001, Tegawendé F. Bissyandé, Yves Le Traon, Jacques Klein, Lorenzo Cavallaro |
Euphony: harmonious unification of cacophonous anti-virus vendor labels for Android malware. |
MSR |
2017 |
DBLP DOI BibTeX RDF |
|