Search results for "unification"

Hits ?▲	Authors	Title	Venue	Year	Link
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