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	Nominal C-Unification.	LOPSTR	2017	DBLP DOI BibTeX RDF
12	Hassan Aït-Kaci, Gabriella Pasi	Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures.	LOPSTR	2017	DBLP DOI BibTeX RDF
12	Amal Abid 0001, Hanen Ameur, Atika Mbarek, Amal Rekik, Salma Jamoussi, Abdelmajid Ben Hamadou	An extraction and unification methodology for social networks data: an application to public security.	iiWAS	2017	DBLP DOI BibTeX RDF
12	Qinyong Wang, Hongzhi Yin, Hao Wang 0005	A Time and Sentiment Unification Model for Personalized Recommendation.	APWeb/WAIM (2)	2017	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Çigdem Gencer	Finitariness of Elementary Unification in Boolean Region Connection Calculus.	FroCoS	2017	DBLP DOI BibTeX RDF
12	Eugene Burmako	Unification of Compile-Time and Runtime Metaprogramming in Scala.		2017	DOI RDF
12	Jesper Cockx	Dependent Pattern Matching and Proof-Relevant Unification.		2017	RDF
12	Jingshan Huang, Karen Eilbeck, Barry Smith 0001, Judith A. Blake, Dejing Dou, Weili Huang, Darren A. Natale, Alan Ruttenberg, Jun Huan, Michael T. Zimmermann, Guoqian Jiang, Yu Lin, Bin Wu 0008, Harrison J. Strachan, Yongqun He, Shaojie Zhang, Xiaowei Wang, Zixing Liu, Glen M. Borchert, Ming Tan	The Non-Coding RNA Ontology (NCRO): a comprehensive resource for the unification of non-coding RNA biology.	J. Biomed. Semant.	2016	DBLP DOI BibTeX RDF
12	Kateryna Samoilova	Transparency and introspective unification.	Synth.	2016	DBLP DOI BibTeX RDF
12	Sharon X. Lee, Geoffrey J. McLachlan	Finite mixtures of canonical fundamental skew t-distributions - The unification of the restricted and unrestricted skew t-mixture models.	Stat. Comput.	2016	DBLP DOI BibTeX RDF
12	Fabrizio Angiulli, Fabio Fassetti	Toward Generalizing the Unification with Statistical Outliers: The Gradient Outlier Factor Measure.	ACM Trans. Knowl. Discov. Data	2016	DBLP DOI BibTeX RDF
12	Ouissem Ben Fredj	An Automatic Alert Unification Method for Heterogeneous Alert Signatures.	Int. J. Netw. Secur.	2016	DBLP BibTeX RDF
12	Chafiqa Radjai, Idir Rassoul	Unification and modelling of temporal aspects of dynamic phenomenon.	Ann. GIS	2016	DBLP DOI BibTeX RDF
12	Michael Hoche, Jörg H. Siekmann, Peter Szabó	String Unification is Essentially Infinitary.	FLAP	2016	DBLP BibTeX RDF
12	Dragos Sbirlea, Jun Shirako, Ryan Newton, Vivek Sarkar	SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism.	Int. J. Parallel Program.	2016	DBLP DOI BibTeX RDF
12	Leonardo Cabrer	Unification on Subvarieties of Pseudocomplemented Distributive Lattices.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
12	Wojciech Dzik, Piotr Wojtylak	Modal Consequence Relations Extending S4.3: An Application of Projective Unification.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
12	Rosalie Iemhoff, George Metcalfe	Special Issue on Admissible Rules and Unification.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
12	Rosalie Iemhoff	A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
12	Thomas Pfau, Maria Pires Pacheco, Thomas Sauter	Towards improved genome-scale metabolic network reconstructions: unification, transcript specificity and beyond.	Briefings Bioinform.	2016	DBLP DOI BibTeX RDF
12	Paul S. Rosenbloom, Abram Demski, Volkan Ustun	The Sigma Cognitive Architecture and System: Towards Functionally Elegant Grand Unification.	J. Artif. Gen. Intell.	2016	DBLP DOI BibTeX RDF
12	Jiatao Ding, Jiajia Chen 0002, Chip-Hong Chang	A New Paradigm of Common Subexpression Elimination by Unification of Addition and Subtraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2016	DBLP DOI BibTeX RDF
12	Saber Benharzallah, Hammadi Bennoui, Okba Kazar	Reformulating XQuery queries using GLAV mapping and complex unification.	J. King Saud Univ. Comput. Inf. Sci.	2016	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret	Nominal Unification of Higher Order Expressions with Recursive Let.	CoRR	2016	DBLP BibTeX RDF
12	Franz Baader, Stefan Borgwardt, Barbara Morawska 0001	Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.	Log. Methods Comput. Sci.	2016	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.	CoRR	2016	DBLP BibTeX RDF
12	Francesco Mazzoli, Andreas Abel 0001	Type checking through unification.	CoRR	2016	DBLP BibTeX RDF
12	Fred Mesnard, Étienne Payet, Germán Vidal	On the Completeness of Selective Unification in Concolic Testing of Logic Programs.	CoRR	2016	DBLP BibTeX RDF
12	Andrej Dudenhefner, Moritz Martens, Jakob Rehof	The Intersection Type Unification Problem.	CoRR	2016	DBLP BibTeX RDF
12	Vladimir N. Ushakov, Sergey A. Brykalov, Grigory V. Parshikov	α-Systems of differential inclusions and their unification.	Autom. Remote. Control.	2016	DBLP DOI BibTeX RDF
12	Shanxin Guo, A-Xing Zhu, Lingkui Meng, James E. Burt, Fei Du, Jing Liu, Guiming Zhang	Unification of soil feedback patterns under different evaporation conditions to improve soil differentiation over flat area.	Int. J. Appl. Earth Obs. Geoinformation	2016	DBLP DOI BibTeX RDF
12	Zeki Bayram, Omid Sharifi	Unifying F-logic molecules: a rectification to the original unification algorithm.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
12	Juane Li, Shu Lin 0001, Khaled A. S. Abdel-Ghaffar, William E. Ryan, Daniel J. Costello Jr.	LDPC Code Designs, Constructions, and Unification		2016	DOI RDF
12	Peter Szabó, Jörg H. Siekmann, Michael Hoche	What Is Essential Unification?	Martin Davis on Computability, Computational Logic, and Mathematical Foundations	2016	DBLP DOI BibTeX RDF
12	Wen-Ran Zhang	A geometrical and logical unification of mind, light and matter.	ICCI*CC	2016	DBLP DOI BibTeX RDF
12	Samuel Thiriot	Décrire l'impact de normes institutionnelles sur un système social: unification par les fonctions de croyance.	JFSMA	2016	DBLP BibTeX RDF
12	Ole-Christoffer Granmo	Bayesian Unification of Gradient and Bandit-Based Learning for Accelerated Global Optimisation.	ICMLA	2016	DBLP DOI BibTeX RDF
12	Flávio L. C. de Moura	Unification for \lambda -calculi Without Propagation Rules.	ICTAC	2016	DBLP DOI BibTeX RDF
12	Silvio Ghilardi, Manfred Schmidt-Schauß (eds.)	Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016.	UNIF	2016	DBLP BibTeX RDF
12	Kenneth Y. Chao, Matthew J. Powell, Aaron D. Ames, Pilwon Hur	Unification of locomotion pattern generation and control Lyapunov function-based Quadratic Programs.	ACC	2016	DBLP DOI BibTeX RDF
12	Alan Godfrey, Alan Bourke, Silvia Del Din, Rosie Morris, Aodhán Hickey, Jorunn L. Helbostad, Lynn Rochester	Towards holistic free-living assessment in Parkinson's disease: Unification of gait and fall algorithms with a single accelerometer.	EMBC	2016	DBLP DOI BibTeX RDF
12	Jesper Cockx, Dominique Devriese, Frank Piessens	Unifiers as equivalences: proof-relevant unification of dependently typed data.	ICFP	2016	DBLP DOI BibTeX RDF
12	Mohamed Elfeky 0001, Meysam Bastani, Xavier Velez, Pedro J. Moreno 0001, Austin Waters	Towards acoustic model unification across dialects.	SLT	2016	DBLP DOI BibTeX RDF
12	Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.	IJCAR	2016	DBLP DOI BibTeX RDF
12	Jonathan Dupuy, Eric Heitz, Eugene d'Eon	Additional Progress Towards the Unification of Microfacet and Microflake Theories.	EGSR (EI&I)	2016	DBLP DOI BibTeX RDF
12	Philippe Balbiani, Tinko Tinchev	Unification in modal logic Alt1.	Advances in Modal Logic	2016	DBLP BibTeX RDF
12	Hiroki Endo, Kinji Matsumura, Kazuya Fujisawa, Kenjiro Kai	Cross-media platform for the unification of broadcast and broadband program-viewing environments.	BMSB	2016	DBLP DOI BibTeX RDF
12	Xiaoqin Tang, Merel van't Hoff, Jerry Hoogenboom, Yuanhao Guo, Fuyu Cai, Gerda Lamers, Fons J. Verbeek	Fluorescence and bright-field 3D image fusion based on sinogram unification for optical projection tomography.	BIBM	2016	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, David Sabel	Unification of program expressions with recursive bindings.	PPDP	2016	DBLP DOI BibTeX RDF
12	Edouard Batot, Houari A. Sahraoui	A generic framework for model-set selection for the unification of testing and learning MDE tasks.	MoDELS	2016	DBLP BibTeX RDF
12	Franz Baader, Pavlos Marantidis, Alexander Okhotin	Approximate Unification in the Description Logic FL_0.	JELIA	2016	DBLP DOI BibTeX RDF
12	Tomer Libal, Dale Miller 0001	Functions-as-Constructors Higher-Order Unification.	FSCD	2016	DBLP DOI BibTeX RDF
12	Andrej Dudenhefner, Moritz Martens, Jakob Rehof	The Intersection Type Unification Problem.	FSCD	2016	DBLP DOI BibTeX RDF
12	Boris Konev, Temur Kutsia	Anti-Unification of Concepts in Description Logic EL.	KR	2016	DBLP BibTeX RDF
12	Michal Ruzicka, Petr Sojka, Martin Líska	Math Indexer and Searcher under the Hood: Fine-tuning Query Expansion and Unification Strategies.	NTCIR	2016	DBLP BibTeX RDF
12	Chengkuan Sun, Jianping Cai, Wanli Sha, Shangyong Liang	Unification Protection Design for a Certain Type of Vehicle-Borne Server.	NCCET	2016	DBLP DOI BibTeX RDF
12	Jie Chen 0009, Huadong Guo, Wei Yang 0004, Xinwu Li, Pengbo Wang, Lu Zhang 0017, Kai Wang, Wenjin Wu, Huiying Liu	Unification of SAR image formation and post-processing for environmental remote sensing application.	IGARSS	2016	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret	Nominal Unification of Higher Order Expressions with Recursive Let.	LOPSTR	2016	DBLP DOI BibTeX RDF
12	Fred Mesnard, Étienne Payet, Germán Vidal	On the Completeness of Selective Unification in Concolic Testing of Logic Programs.	LOPSTR	2016	DBLP DOI BibTeX RDF
12	Yahya Al-Hazmi	Unification of monitoring interfaces of federated cloud and Future Internet testbed infrastructures.		2016	RDF
12	Animesh Trivedi	End-to-End Considerations in Unification of High-Performance IO.		2016	RDF
12	Michal Stronko	Universal freeness and admissibility.	UNIF	2016	DBLP BibTeX RDF
12	Philippe Balbiani	Solving equations in pure double Boolean algebras.	UNIF	2016	DBLP BibTeX RDF
12	Edmund Soon Lee Lam, Iliano Cervesato	Let's Unify With Scala Pattern Matching!	UNIF	2016	DBLP BibTeX RDF
12	Iliano Cervesato, Edmund S. L. Lam	Overlap and Independence in Multiset Comprehension Patterns.	UNIF	2016	DBLP BibTeX RDF
12	Daniel S. Hono II, Paliath Narendran, Rafael Veras	Lynch-Morawska Systems on Strings.	UNIF	2016	DBLP BibTeX RDF
12	Ralf Sasse	Automated Symbolic Proofs of Security Protocols.	UNIF	2016	DBLP BibTeX RDF
12	Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam	Notes on Lynch-Morawska Systems.	UNIF	2016	DBLP BibTeX RDF
12	Franz Baader, Pavlos Marantidis, Alexander Okhotin	Approximately Solving Set Equations.	UNIF	2016	DBLP BibTeX RDF
12	Benjamin C. Allanach, Alexander Bednyakov, R. Ruiz de Austri	Higher order corrections and unification in the minimal supersymmetric standard model: SOFTSUSY3.5.	Comput. Phys. Commun.	2015	DBLP DOI BibTeX RDF
12	Stefan Petkov	Explanatory unification and conceptualization.	Synth.	2015	DBLP DOI BibTeX RDF
12	Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira	Completeness in PVS of a Nominal Unification Algorithm.	LSFA	2015	DBLP DOI BibTeX RDF
12	Rosalie Iemhoff, Paul Rozière	Unification in Intermediate Logics.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
12	Tiago Gomes, Paulo Garcia, Filipe Salgado, João Monteiro 0001, Mongkol Ekpanyapong, Adriano Tavares	Task-Aware Interrupt Controller: Priority Space Unification in Real-Time Systems.	IEEE Embed. Syst. Lett.	2015	DBLP DOI BibTeX RDF
12	Marcel C. M. Bastiaansen, Peter Hagoort	Frequency-based Segregation of Syntactic and Semantic Unification during Online Sentence Level Language Comprehension.	J. Cogn. Neurosci.	2015	DBLP DOI BibTeX RDF
12	John N. Hooker	Toward unification of exact and heuristic optimization methods.	Int. Trans. Oper. Res.	2015	DBLP DOI BibTeX RDF
12	Dong Huang, Xiaolong Wang 0001, Ronggang Dou, Shiwen Liu, Jia Fang	N-gram distribution and unification gain problem and its optimal solution.	Int. J. Syst. Sci.	2015	DBLP DOI BibTeX RDF
12	Leonardo Manuel Cabrer, George Metcalfe	Exact Unification and Admissibility.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
12	Florentin Smarandache	Unification of Fusion Theories, Rules, Filters, Image Fusion and Target Tracking Methods (UFT).	CoRR	2015	DBLP BibTeX RDF
12	Colin H. LaMont, Paul A. Wiggins	The Frequentist Information Criterion (FIC): The unification of information-based and frequentist inference.	CoRR	2015	DBLP BibTeX RDF
12	Rajeev Alur, Pavol Cerný, Arjun Radhakrishna	Synthesis through Unification.	CoRR	2015	DBLP BibTeX RDF
12		Mining Frequent Itemsets: a Formal Unification.	CoRR	2015	DBLP BibTeX RDF
12	Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran	On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
12	Pascual Julián Iranzo, Clemente Rubio-Manzano	Proximity-based unification theory.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
12	Masahiro Fujita	Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design.	Proc. IEEE	2015	DBLP DOI BibTeX RDF
12	Hadas Peled, Shuly Wintner	Polynomially parsable unification grammars.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
12	Emil Jerábek	Blending margins: the modal logic K has nullary unification type.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
12	Temur Kutsia, Mircea Marin	Regular expression order-sorted unification and matching.	J. Symb. Comput.	2015	DBLP DOI BibTeX RDF
12	Steven D. Feldman, Pierre LaBorde, Damian Dechev	Tervel: A unification of descriptor-based techniques for non-blocking programming.	SAMOS	2015	DBLP DOI BibTeX RDF
12	Rajeev Alur, Pavol Cerný, Arjun Radhakrishna	Synthesis Through Unification.	CAV (2)	2015	DBLP DOI BibTeX RDF
12	Kyong Hwan Jin, Dongwook Lee 0005, Jong Chul Ye	A novel k-space annihilating filter method for unification between compressed sensing and parallel MRI.	ISBI	2015	DBLP DOI BibTeX RDF
12	Theodoras Koutsandreas, Eleftherios Pilalis, Efstathios Iason Vlachavas, Dirk Koczan, Sven Klippel, Antonia Dimitrakopoulou-Strauss, Ioannis Valavanis, Aristotelis Chatziioannou	Making sense of the biological complexity through the platform-driven unification of the analytical and visualization tasks.	BIBE	2015	DBLP DOI BibTeX RDF
12	Changlin Ma, Meng Wang, Xue-wen Chen 0001	Topic and Sentiment Unification Maximum Entropy Model for Online Review Analysis.	WWW (Companion Volume)	2015	DBLP DOI BibTeX RDF
12	Adrià Gascón, Ashish Tiwari 0001, Manfred Schmidt-Schauß	One Context Unification Problems Solvable in Polynomial Time.	LICS	2015	DBLP DOI BibTeX RDF
12	Bongjae Choi, Sungho Jo	Unification of neural systems between human and humanoid robot.	ASCC	2015	DBLP DOI BibTeX RDF
12	Steven J. Schiff	Unification in the control of spikes, seizures, and spreading depression.	ACC	2015	DBLP DOI BibTeX RDF
12	Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão 0001, Rodrigo Geraldo Ribeiro	Type Inference for GADTs and Anti-unification.	SBLP	2015	DBLP DOI BibTeX RDF
12	Khalil A. Abuosba	Multiagent trust management of Web services: The "Asynchronous Computing Environment Profile Unification Methodology" (ACEPUM).	WorldCIS	2015	DBLP DOI BibTeX RDF
12	Beta Ziliani, Matthieu Sozeau	A unification algorithm for Coq featuring universe polymorphism and overloading.	ICFP	2015	DBLP DOI BibTeX RDF
12	Hui Zhang, Tong-xin Wang, Yiqun Liu 0001, Shaoping Ma	Aspect and Sentiment Unification Model for Twitter Analysis.	IScIDE (2)	2015	DBLP DOI BibTeX RDF