Search results for "amalgamation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Xiaofang Zhou 0001, David Truffet, Jiawei Han 0001	Efficient Polygon Amalgamation Methods for Spatial OLAP and Spatial Data Mining.	SSD	1999	DBLP DOI BibTeX RDF	polygon amalgamation, spatial databases, spatial indexing, on-line analytical processing (OLAP)
92	Hu Shuhua, Zhang Jixin	Study of Regional Innovation Networks Based on Industry Amalgamation.	WKDD	2008	DBLP DOI BibTeX RDF
84	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski	Checking Amalgamability Conditions for C ASL Architectural Specifications.	MFCS	2001	DBLP DOI BibTeX RDF	formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
77	Paul Boehm, Harald-Reto Fonio, Annegret Habel	Amalgamation of Graph Transformations with Applications to Synchronization.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
75	Tarek Sayed Ahmed	On Amalgamation in Algebras of Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation
61	José R. Herrero 0001, Juan J. Navarro	Hypermatrix oriented supernode amalgamation.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Sparse Cholesky factorization, Hypermatrix, Supernode amalgamation
56	Dali Zangurashvili	Some Categorical Algebraic Properties: Counter-Examples for Functor Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
48	Majid Alizadeh, Mohammad Ardeshir	Amalgamation property for the class of basic algebras and some of its natural subclasses.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification Primary 03G25, Primary 03D20, Secondary 03B20
48	John T. Baldwin 0001, Olivier Lessmann	Amalgamation properties and finite models in Ln-theories.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
48	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki	Amalgamation in CASL via Enriched Signatures.	ICALP	2001	DBLP DOI BibTeX RDF
41	Qing Liu 0011	Granular Language and Its Applications in Problem Solving.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Granular Language, Problem solving, Granules, Decompose, Amalgamation
39	Judit X. Madarász, Tarek Sayed Ahmed	Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.	Log. J. IGPL	2009	DBLP DOI BibTeX RDF
34	Tapani Hyttinen	Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Abstract elementary classes, Structure theorem, Categoricity
34	John G. Stell, Michael F. Worboys	Generalizing Graphs Using Amalgamation and Selection.	SSD	1999	DBLP DOI BibTeX RDF
34	Clive Marsh, C. McGowan	Amalgamation of Knowledge and Data Through Fuzzy Modeling.	ANNES	1995	DBLP DOI BibTeX RDF	Knowlegde Based Models, Parameter Estimation, Fuzzy Modeling
34	Staffan Bonnier, Jan Maluszynski	Towards a Clean Amalgamation of Logic Programs with External Procedures.	PLILP	1988	DBLP DOI BibTeX RDF
29	Gregory R. Wheeler	Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
29	Uwe Wolter	A (Co)Algebraic Analysis of Synchronization in CSP.	WADT	2006	DBLP DOI BibTeX RDF
29	Till Mossakowski	Comorphism-Based Grothendieck Logics.	MFCS	2002	DBLP DOI BibTeX RDF
29	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman	Semantics of Architectural Specifications in CASL.	FASE	2001	DBLP DOI BibTeX RDF
29	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
29	M. A. Nait Abdallah	Icons and Local Definitions in Logic Programming.	STACS	1986	DBLP DOI BibTeX RDF
27	Larisa Maksimova	Definability and Interpolation in Non-Classical Logics.	Stud Logica	2006	DBLP DOI BibTeX RDF	interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation
20	Mohamed A. Tolba, Essam H. Houssein, Mohammed Hamouda Ali, Fatma A. Hashim	A new robust modified capuchin search algorithm for the optimum amalgamation of DSTATCOM in power distribution networks.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
20	Thimmaraja Yadava G., B. G. Nagaraja, H. S. Jayanna	Amalgamation of noise elimination and TDNN acoustic modelling techniques for the advancements in continuous Kannada ASR system.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
20	Somiya Rani, Amita Jain	Optimizing healthcare system by amalgamation of text processing and deep learning: a systematic review.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
20	Pronaya Bhattacharya, Umesh Bodkhe, Mohd. Zuhair, Mamoon Rashid, Xuan Liu 0006, Ashwin Verma, Ram Kishan Dewangan	Amalgamation of blockchain and sixth-generation-envisioned responsive edge orchestration in future cellular vehicle-to-anything ecosystems: Opportunities and challenges.	Trans. Emerg. Telecommun. Technol.	2024	DBLP DOI BibTeX RDF
20	Michal Wrona	Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation).	CoRR	2024	DBLP DOI BibTeX RDF
20	Zalán Gyenis, Övge Öztürk	Amalgamation and Robinson property in universal algebraic logic.	Log. J. IGPL	2024	DBLP DOI BibTeX RDF
20	Sathiyandrakumar Srinivasan, P. Deepalakshmi	An innovative malware detection methodology employing the amalgamation of stacked BiLSTM and CNN+LSTM-based classification networks with the assistance of Mayfly metaheuristic optimization algorithm in cyber-attack.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
20	Mohammed Yusuf Ansari, Vaisali Chandrasekar, Ajay Vikram Singh, Sarada Prasad Dakua	Re-Routing Drugs to Blood Brain Barrier: A Comprehensive Analysis of Machine Learning Approaches With Fingerprint Amalgamation and Data Balancing.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Shweta Tyagi, Devidas T. Kushnure, Sanjay N. Talbar	An amalgamation of vision transformer with convolutional neural network for automatic lung tumor segmentation.	Comput. Medical Imaging Graph.	2023	DBLP DOI BibTeX RDF
20	Hemanta Kumar Palo, Swapna Subudhiray, Niva Das	The amalgamation of wavelet packet information gain entropy tuned source and system parameters for improved speech emotion recognition.	Speech Commun.	2023	DBLP DOI BibTeX RDF
20	Alexander Choo Chia Chun, Yi Chen Lee, Harikrishnan Ramiah, Yong Chen 0005, Pui-In Mak, Rui Paulo Martins	A High-PCE Range-Extension CMOS Rectifier Employing Advanced Topology Amalgamation Technique for Ambient RF Energy Harvesting.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
20	Santosh Kumar Yadav, Rakesh Kumar 0011	EVACON-Rainsnow Computing: An Amalgamation of Cloud and Its Inherited Computing to Encourage End User for Both Localized and Globalized Remote Computing.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
20	Shangde Gao, Yichao Fu, Ke Liu, Yuqiang Han	Contrastive Knowledge Amalgamation for Unsupervised Image Classification.	CoRR	2023	DBLP DOI BibTeX RDF
20	Andrés Aranda, Samuel Braunfeld, David Chodounský, Jan Hubicka, Matej Konecný, Jaroslav Nesetril, Andy Zucker	Type-respecting amalgamation and big Ramsey degrees.	CoRR	2023	DBLP DOI BibTeX RDF
20	Cuong V. Nguyen, Khiem H. Le, Anh M. Tran, Quang Hong Pham, Binh T. Nguyen 0001	Learning for Amalgamation: A Multi-Source Transfer Learning Framework For Sentiment Classification.	CoRR	2023	DBLP DOI BibTeX RDF
20	Manh-Duy Nguyen, Binh T. Nguyen 0001, Cathal Gurrin	HADA: A Graph-based Amalgamation Framework in Image-text Retrieval.	CoRR	2023	DBLP DOI BibTeX RDF
20	George Sains, Conor J. Houghton, Seth Bullock	Spatial community structure impedes language amalgamation in a population-based iterated learning model.	CoRR	2023	DBLP DOI BibTeX RDF
20	Vincent Guingona, Miriam Parnes	Ranks based on strong amalgamation Fraïssé classes.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
20	Muhammad Ahmad Raza, Mohammed M. A. Almazah, Nadhir Al-Ansari, Ijaz Hussain, Fuad S. Al-Duais, Mohammed A. Naser	A New Bayesian Network-Based Generalized Weighting Scheme for the Amalgamation of Multiple Drought Indices.	Complex.	2023	DBLP DOI BibTeX RDF
20	Haofei Zhang, Feng Mao, Mengqi Xue, Gongfan Fang, Zunlei Feng, Jie Song 0011, Mingli Song	Knowledge Amalgamation for Object Detection With Transformers.	IEEE Trans. Image Process.	2023	DBLP DOI BibTeX RDF
20	Yeqing Ren, Haipeng Peng, Lixiang Li 0001, Xiaopeng Xue, Yang Lan, Yixian Yang	Generalized Voice Spoofing Detection via Integral Knowledge Amalgamation.	IEEE ACM Trans. Audio Speech Lang. Process.	2023	DBLP DOI BibTeX RDF
20	Stefano Aguzzoli, Matteo Bianchi 0001	Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components.	RAMiCS	2023	DBLP DOI BibTeX RDF
20	Rohit Misra, Sapna S. Mishra, Tapan K. Gandhi	Assistive Completion of Agrammatic Aphasic Sentences: Amalgamation of NLP and Neurolinguistics-based Synthetic Dataset.	EMBC	2023	DBLP DOI BibTeX RDF
20	Jidapa Thadajarassiri, Thomas Hartvigsen, Walter Gerych, Xiangnan Kong, Elke A. Rundensteiner	Knowledge Amalgamation for Multi-Label Classification via Label Dependency Transfer.	AAAI	2023	DBLP DOI BibTeX RDF
20	Manh-Duy Nguyen, Binh T. Nguyen 0001, Cathal Gurrin	HADA: A Graph-Based Amalgamation Framework in Image-text Retrieval.	ECIR (1)	2023	DBLP DOI BibTeX RDF
20	Yi-Chung Chen, Hsi-Wen Chen, Shun-Gui Wang, Ming-Syan Chen	SPACE: Single-round Participant Amalgamation for Contribution Evaluation in Federated Learning.	NeurIPS	2023	DBLP BibTeX RDF
20	Dyutisree Halder, Harshit, Abhishek Rai, Rahul Dev Garg	Augmentation of Urban Atmosphere Through Amalgamation of Geospatial & Anthropogenic Data.	IGARSS	2023	DBLP DOI BibTeX RDF
20	Junyoung Park, Jeongyoun Ahn, Cheolwoo Park	Kernel Sufficient Dimension Reduction and Variable Selection for Compositional Data via Amalgamation.	ICML	2023	DBLP BibTeX RDF
20	Yunzhi Hao, Yu Wang, Shunyu Liu 0001, Tongya Zheng, Xingen Wang, Xinyu Wang 0001, Mingli Song, Wenqi Huang, Chun Chen	Attribution Guided Layerwise Knowledge Amalgamation from Graph Neural Networks.	ICONIP (1)	2023	DBLP DOI BibTeX RDF
20	Khush Bakhat, Kashif Kifayat, M. Shujah Islam, M. Mattah Islam	Human activity recognition based on an amalgamation of CEV & SGM features.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
20	Shefali Dhingra, Poonam Bansal	Designing of a rigorous image retrieval system with amalgamation of artificial intelligent techniques and relevance feedback.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
20	Deepa Abin, Sudeep D. Thepade	Improved shadow suppression with amalgamation of AGWCD and exemplar based inpainting method.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
20	Renjun Xu, Shuoying Liang, Lanyu Wen, Zhitong Guo, Xinyue Huang, Mingli Song, Jindong Wang 0001, Xiaoxiao Xu, Huajun Chen	Hierarchical knowledge amalgamation with dual discriminative feature alignment.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
20	Cuong V. Nguyen, Khiem H. Le, Anh M. Tran, Quang Hong Pham, Binh T. Nguyen 0001	Learning for amalgamation: A multi-source transfer learning framework for sentiment classification.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
20	Amandeep Singh, Gaurav Sethi, G. S. Kalra	Amalgamation of ROAD-TGM and progressive PCA using performance booster method for detail persevering image denoising.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
20	Annu Mishra, Pankaj Gupta, Peeyush Tewari	Global U-net with amalgamation of inception model and improved kernel variation for MRI brain image segmentation.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
20	Alexis Byers, Anita O'Mellan	An amalgamation of graceful and harmonious labelings.	Bull. ICA	2022	DBLP BibTeX RDF
20	Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos	Examples of weak amalgamation classes.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
20	PLS Jayalaxmi, Rahul Saha, Gulshan Kumar, Tai-Hoon Kim	Machine and deep learning amalgamation for feature extraction in Industrial Internet-of-Things.	Comput. Electr. Eng.	2022	DBLP DOI BibTeX RDF
20	Ciro Russo	Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.	Logica Universalis	2022	DBLP DOI BibTeX RDF
20	Donglin Xie, Ruonan Yu, Gongfan Fang, Jie Song 0011, Zunlei Feng, Xinchao Wang, Li Sun, Mingli Song	Federated Selective Aggregation for Knowledge Amalgamation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Tianshu Huang, Tianlong Chen, Sijia Liu 0001, Shiyu Chang, Lisa Amini, Zhangyang Wang	Optimizer Amalgamation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Manoj H. Devare	Amalgamation of Indirect Gamification into Development and Operations (DEVOPS) Course Teaching.	CoRR	2022	DBLP DOI BibTeX RDF
20	Yanni Wang, Gang Yang 0001, Dayong Ding, Jianchun Zhao	Segmentation-based Information Extraction and Amalgamation in Fundus Images for Glaucoma Detection.	CoRR	2022	DBLP DOI BibTeX RDF
20	Haofei Zhang, Feng Mao, Mengqi Xue, Gongfan Fang, Zunlei Feng, Jie Song 0011, Mingli Song	Knowledge Amalgamation for Object Detection with Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
20	Marcus de Carvalho, Mahardhika Pratama, Jie Zhang 0002, Yajuan Sun	Class-Incremental Learning via Knowledge Amalgamation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso	General Interpolation and Strong Amalgamation for Contiguous Arrays.	CoRR	2022	DBLP DOI BibTeX RDF
20	Yuan Cao, Ligang Li, Wei Ni, Bo Liu 0071, Wenbo Zhou, Qi Xiao	Amalgamation of Geometry Structure, Meteorological and Thermophysical Parameters for Intelligent Prediction of Temperature Fields in 3D Scenes.	Sensors	2022	DBLP DOI BibTeX RDF
20	Maciej Malicki	Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
20	Marcus de Carvalho, Mahardhika Pratama, Jie Zhang 0002, Yajuan Sun	Class-Incremental Learning via Knowledge Amalgamation.	ECML/PKDD (3)	2022	DBLP DOI BibTeX RDF
20	Radhika Nautiyal, Radhey Shyam Jha, Rajesh Bahuguna, Anita Gehlot, Abhinav Kathuria, Samta Kathuria	Amalgamation of Blockchain and Smart Contracts in Copyright.	IC3I	2022	DBLP DOI BibTeX RDF
20	Linzhu Yu, Dawei Jiang, Ke Chen 0005, Lidan Shou	Arm: Efficient Learning of Neural Retrieval Models with Desired Accuracy by Automatic Knowledge Amalgamation.	SIGIR	2022	DBLP DOI BibTeX RDF
20	Abhishek Pandey, Senjuti Sen, Soumyadip Majumder, Dev Savla, Pratik Patil	Location Intelligence in Amalgamation of Floating Solar PV & Electric Vehicle.	IGARSS	2022	DBLP DOI BibTeX RDF
20	Tianshu Huang, Tianlong Chen, Sijia Liu 0001, Shiyu Chang, Lisa Amini, Zhangyang Wang	Optimizer Amalgamation.	ICLR	2022	DBLP BibTeX RDF
20	Sy-David Friedman, Dan Hathaway	Generic coding with Help and Amalgamation Failure.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
20	Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee	The Relativized Lascar Groups, Type-Amalgamation, and algebraicity.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
20	Sita Rani, Ram Krishn Mishra, Mohammed Usman, Aman Kataria, Pramod Kumar, Pankaj Bhambri, Amit Kumar Mishra	Amalgamation of Advanced Technologies for Sustainable Development of Smart City Environment: A Review.	IEEE Access	2021	DBLP DOI BibTeX RDF
20	Aparna Kumari, Rajesh Gupta 0007, Sudeep Tanwar	Amalgamation of blockchain and IoT for smart cities underlying 6G communication: A comprehensive review.	Comput. Commun.	2021	DBLP DOI BibTeX RDF
20	Pritul Dave, Arjun Chandarana, Parth Goel, Amit Ganatra	An amalgamation of YOLOv4 and XGBoost for next-gen smart traffic management system.	PeerJ Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Tarek Sayed Ahmed	Omitting types algebraically and more about amalgamation for modal cylindric algebras.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
20	Michael Greenacre, Eric Grunsky, John Bacon-Shone	A comparison of isometric and amalgamation logratio balances in compositional data analysis.	Comput. Geosci.	2021	DBLP DOI BibTeX RDF
20	Shreya Gupta, Parantak Singh, Megha Sundriyal, Md. Shad Akhtar, Tanmoy Chakraborty 0002	LESA: Linguistic Encapsulation and Semantic Amalgamation Based Generalised Claim Detection from Online Content.	CoRR	2021	DBLP BibTeX RDF
20	Manuel Bodirsky, Simon Knäuer, Jakub Rydval	Amalgamation is Undecidable.	CoRR	2021	DBLP BibTeX RDF
20	Lei Li 0039, Yankai Lin, Xuancheng Ren, Guangxiang Zhao, Peng Li 0030, Jie Zhou 0016, Xu Sun 0001	Model Uncertainty-Aware Knowledge Amalgamation for Pre-Trained Language Models.	CoRR	2021	DBLP BibTeX RDF
20	Paolo Lipparini	Linearly ordered sets with only one operator have the amalgamation property.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
20	Manandeep	The amalgamation of technology and sustainability.	XRDS	2021	DBLP DOI BibTeX RDF
20	Stefano Aguzzoli, Matteo Bianchi 0001	Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components.	RAMiCS	2021	DBLP DOI BibTeX RDF
20	Dhairya Jadav, Mohammad S. Obaidat, Sudeep Tanwar, Rajesh Gupta 0007, Kuei-Fang Hsiao	Amalgamation of Blockchain and AI to Classify Malicious Behavior of Autonomous Vehicles.	CITS	2021	DBLP DOI BibTeX RDF
20	Silvio Ghilardi, Alessandro Gianola, Deepak Kapur	Interpolation and Amalgamation for Arrays with MaxDiff.	FoSSaCS	2021	DBLP DOI BibTeX RDF
20	Jidapa Thadajarassiri, Thomas Hartvigsen, Xiangnan Kong, Elke A. Rundensteiner	Semi-Supervised Knowledge Amalgamation for Sequence Classification.	AAAI	2021	DBLP DOI BibTeX RDF
20	Shreya Gupta, Parantak Singh, Megha Sundriyal, Md. Shad Akhtar, Tanmoy Chakraborty 0002	LESA: Linguistic Encapsulation and Semantic Amalgamation Based Generalised Claim Detection from Online Content.	EACL	2021	DBLP DOI BibTeX RDF
20	Caixia Li, Wenhua Xu, Xizhu Si, Ping Song	KABI: Class-Incremental Learning via knowledge Amalgamation and Batch Identification.	ICIAI	2021	DBLP DOI BibTeX RDF
20	Chiranjib Sur	AACR: Feature Fusion Effects of Algebraic Amalgamation Composed Representation on (De)Compositional Network for Caption Generation for Images.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Daoud Siniora, Slawomir Solecki	Coherent Extension of Partial automorphisms, Free Amalgamation and automorphism Groups.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
20	Agneet Chatterjee, Sudipta Kumar Ghosal, Ram Sarkar	LSB based steganography with OCR: an intelligent amalgamation.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
20	Pierre Simon	On Amalgamation in NTP2 Theories and Generically Simple Generics.	Notre Dame J. Formal Log.	2020	DBLP DOI BibTeX RDF
20	Daniel Gaina, Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	Stability of termination and sufficient-completeness under pushouts via amalgamation.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF