Search results for "conclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Haiqing Hu, Chong Li, Chunmei Li	Singular Rough Decision and Secure Transmission of Decision Conclusion.	HIS (2)	2009	DBLP DOI BibTeX RDF	S-rough sets, two direction S-rough decision, secure transmission of decision conclusion, elliptic curve
39	Gabriella Pigozzi, Marija Slavkovik 0001, Leendert W. N. van der Torre	A Complete Conclusion-Based Procedure for Judgment Aggregation.	ADT	2009	DBLP DOI BibTeX RDF
35	Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.	WoLLIC	2009	DBLP DOI BibTeX RDF	proof-graphs, multiple conclusion, normalization, cycles, proof theory
35	Eberhard von Faber, R. Hammelrath, F.-P. Heider	The Secure Distribution of Digital Contents.	ACSAC	1997	DBLP DOI BibTeX RDF	secure distribution, encrypted digital contents, freely accessible distribution media, key management system, payment authorisation, casual customers, nonregistered users, software setup, contract conclusion, registration processes, content re-selling, business-to-business environment, cryptography, electronic commerce, workflow management, decryption, payment systems
29	Xiuqin Jia, Shengfu Lu, Ning Zhong 0001, Yiyu Yao	Figural Effects in Syllogistic Reasoning with Evaluation Paradigm: An Eye-Movement Study.	Brain Informatics	2009	DBLP DOI BibTeX RDF
29	Gustav J. Olling	Digital Processes in Product Creation.	PROLAMAT	2006	DBLP DOI BibTeX RDF	product and component teams, cultural changes, improvement-oriented, CAD technology, well-integrated databases, information bridges, integrate expertise, global engineers, conclusion, universities
23	Deepak Kapur, H. K. Wan	Refutational Proofs of Geometry Theorems via Characteristic Set Computation.	ISSAC	1990	DBLP DOI BibTeX RDF
21	Vitaly Shalumov, Harel Haskey, Yuval Solaz	Mevaker: Conclusion Extraction and Allocation Resources for the Hebrew Language.	CoRR	2024	DBLP DOI BibTeX RDF
21	Wei-Shih Du, Luigi Muglia, Adrian Petrusel	Editorial Conclusion for the Special Issue "Special Issue in Honor of the 60th Birthday of Professor Hong-Kun Xu".	Axioms	2023	DBLP DOI BibTeX RDF
21	Wei-Shih Du, Alicia Cordero, Huaping Huang, Juan R. Torregrosa	Editorial Conclusion for the Special Issue "Fixed Point Theory and Computational Analysis with Applications".	Symmetry	2023	DBLP DOI BibTeX RDF
21	Serkan Araci, Ayhan Esi	Editorial Conclusion for the Special Issue "Applications of Symmetric Functions Theory to Certain Fields".	Symmetry	2023	DBLP DOI BibTeX RDF
21	Krzysztof Urbanowski	Editorial Conclusion for the Special Issue "Measurements in Quantum Mechanics".	Symmetry	2023	DBLP DOI BibTeX RDF
21	Ulrich Dempwolff	Doubly transitive, bilinear dimensional dual hyperovals: The Conclusion.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
21	Milad Alshomary, Henning Wachsmuth	Conclusion-based Counter-Argument Generation.	CoRR	2023	DBLP DOI BibTeX RDF
21	Shivom Aggarwal, Shourya Mehra, Pritha Mitra	Multi-Purpose NLP Chatbot : Design, Methodology & Conclusion.	CoRR	2023	DBLP DOI BibTeX RDF
21	Milad Alshomary, Henning Wachsmuth	Conclusion-based Counter-Argument Generation.	EACL	2023	DBLP DOI BibTeX RDF
21	Alvi Mahadi, Neil A. Ernst, Karan Tongay	Conclusion stability for natural language based mining of design discussions.	Empir. Softw. Eng.	2022	DBLP DOI BibTeX RDF
21	Zaripa N. Adanbekova, Ayman B. Omarova, Saulegul R. Yermukhametova, Gulnura A. Khudaiberdina, Serikkali T. Tynybekov	Features of the conclusion of a civil transaction on the internet.	Int. J. Electron. Secur. Digit. Forensics	2022	DBLP DOI BibTeX RDF
21	Christine Plumejeaud-Perreau	Conclusion.	Rev. Int. Géomatique	2022	DBLP DOI BibTeX RDF
21	Guangdong Tian, Zhiwu Li 0001, Dexin Yu, Amir M. Fathollahi Fard, Lisheng Jin, Xingyu Jiang	Editorial Conclusion for the Special Issue "Advanced Transportation Technologies and Symmetries in Intelligent Transportation Systems".	Symmetry	2022	DBLP DOI BibTeX RDF
21	Chong Wang, Menghui Xu	Editorial Conclusion for the Special Issue "Advances in Computational Mechanics for Symmetrical Engineering Systems".	Symmetry	2022	DBLP DOI BibTeX RDF
21	Solomon Mensah, Patrick Kwaku Kudjo	A classification scheme to improve conclusion instability using Bellwether moving windows.	J. Softw. Evol. Process.	2022	DBLP DOI BibTeX RDF
21	Suvarna Nadendla, Rebecca C. Jackson, James B. Munro, Federica Quaglia, Bálint Mészáros, Dustin Olley, Elizabeth T. Hobbs, Stephen M. Goralski, Marcus C. Chibucos, Christopher J. Mungall, Silvio C. E. Tosatto, Ivan Erill, Michelle G. Giglio	ECO: the Evidence and Conclusion Ontology, an update for 2022.	Nucleic Acids Res.	2022	DBLP DOI BibTeX RDF
21	Xinni Wang, Christoph H.-J. Braun, Andreas Both 0001, Tobias Käfer	Using Schema.org and Solid for Linked Data-based Machine-to-Machine Sales Contract Conclusion.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
21	Evangelia K. Karali	Small Animal PET Imaging: Towards an Imaging Analysis Approach for System Average Performance Conclusion.	BECB	2022	DBLP DOI BibTeX RDF
21	Yang Kuang, Qianyu Wang, Jie Jiang 0007	Analysis and Conclusion: Children's Safety Education Games Based on VR.	ICCSE (2)	2022	DBLP DOI BibTeX RDF
21	Masaki Miyashita	Premise-based vs conclusion-based collective choice.	Soc. Choice Welf.	2021	DBLP DOI BibTeX RDF
21	Larysa Ivanivna Korotka	The use of unclear conclusion in the tasks of forecasting of the durability of corrosive constructions.	Int. J. Comput. Sci. Math.	2021	DBLP DOI BibTeX RDF
21	Timon Gurcke, Milad Alshomary, Henning Wachsmuth	Assessing the Sufficiency of Arguments through Conclusion Generation.	CoRR	2021	DBLP BibTeX RDF
21	Alvi Mahadi, Neil A. Ernst, Karan Tongay	Conclusion Stability for Natural Language Based Mining of Design Discussions.	CoRR	2021	DBLP BibTeX RDF
21	Richard Zach	Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
21	Vladimir N. Krupski	On sharp and single-conclusion justification models.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
21	Jenny Benois-Pineau, Akka Zemmari	Conclusion.	Multi-faceted Deep Learning	2021	DBLP DOI BibTeX RDF
21	Francisco Durán 0001, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler	Conclusion.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
21	Juri Opitz, Philipp Heinisch, Philipp Wiesenbach, Philipp Cimiano, Anette Frank	Explainable Unsupervised Argument Similarity Rating with Abstract Meaning Representation and Conclusion Generation.	ArgMining@EMNLP	2021	DBLP DOI BibTeX RDF
21	Timon Gurcke, Milad Alshomary, Henning Wachsmuth	Assessing the Sufficiency of Arguments through Conclusion Generation.	ArgMining@EMNLP	2021	DBLP DOI BibTeX RDF
21	Litao Lin, Dongbo Wang, Si Shen	Extraction of Thesis Research Conclusion Sentences in Academic Literature.	EEKE@JCDL	2021	DBLP BibTeX RDF
21	Diana Nurbakova, Sylvie Calabretto, Timothée Saumet, Jialiang Wei	Extraction de signaux comportementaux d'utilisateur et prédiction de conclusion de vente.	EGC	2021	DBLP BibTeX RDF
21	Bolin Hua, Youngkug Shin	Extraction of Sentences Describing Originality from Conclusion in Academic Papers.	AII@iConference	2021	DBLP BibTeX RDF
21	Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali 0001	On the time-based conclusion stability of cross-project defect prediction models.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
21	Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni	Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion".	Top. Cogn. Sci.	2020	DBLP DOI BibTeX RDF
21	Massimo Alioto	Editorial on the Conclusion of the 2020 Editorial Year - The Climactic Finale of a Peculiar Year.	IEEE Trans. Very Large Scale Integr. Syst.	2020	DBLP DOI BibTeX RDF
21	Marek Nowak	Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations.	Stud Logica	2020	DBLP DOI BibTeX RDF
21	Catina O'Leary, Chris Casey, Diane Webb, Deborah Collyar, Andrew Pleasant	How health literacy can enhance the design and conduct of clinical trials from consent to conclusion.	Inf. Serv. Use	2020	DBLP DOI BibTeX RDF
21	Harley Eades III, Valeria de Paiva	Multiple conclusion linear logic: cut elimination and more.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
21	Liliya Chyrun, Petro Kravets, Oleg Garasym, Aleksandr Gozhyj, Irina Kalinina	Cryptographic Information Protection Algorithm Selection Optimization for Electronic Governance IT Project Management by the Analytic Hierarchy Process Based on Nonlinear Conclusion Criteria.	ITPM	2020	DBLP BibTeX RDF
21	Makoto Nakatsuji, Sohei Okui	Conclusion-Supplement Answer Generation for Non-Factoid Questions.	AAAI	2020	DBLP DOI BibTeX RDF
21	Tetiana Hovorushchenko, Alla Herts, Olga Pavlova	Method of Forming a Logical Conclusion about Legal Responsibility in the Cybersecurity Domain.	ICTERI Workshops	2020	DBLP BibTeX RDF
21	Tetiana Hovorushchenko, Yelyzaveta Hnatchuk, Alla Herts	Decision-Making about Conclusion of Contractual Obligations in the Field of Medical Services.	IDDM	2020	DBLP BibTeX RDF
21	Milad Alshomary, Shahbaz Syed, Martin Potthast, Henning Wachsmuth	Target Inference in Argument Conclusion Generation.	ACL	2020	DBLP DOI BibTeX RDF
21	Geoffrey Stewart Morrison, Ewald Enzinger	Multi-laboratory evaluation of forensic voice comparison systems under conditions reflecting those of a real forensic case (forensic_eval_01) - Conclusion.	Speech Commun.	2019	DBLP DOI BibTeX RDF
21	Alex Citkin	Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property.	Axioms	2019	DBLP DOI BibTeX RDF
21	Michelle G. Giglio, Rebecca Tauber, Suvarna Nadendla, James B. Munro, Dustin Olley, Shoshannah Ball, Elvira Mitraka, Lynn M. Schriml, Pascale Gaudet, Elizabeth T. Hobbs, Ivan Erill, Deborah A. Siegele, James C. Hu, Chris Mungall, Marcus C. Chibucos	ECO, the Evidence & Conclusion Ontology: community standard for evidence information.	Nucleic Acids Res.	2019	DBLP DOI BibTeX RDF
21	Alexander Te-Wei Shieh, Yung-Sung Chuang, Shang-Yu Su, Yun-Nung Chen	Towards Understanding of Medical Randomized Controlled Trials by Conclusion Generation.	CoRR	2019	DBLP BibTeX RDF
21	Makoto Nakatsuji, Sohei Okui	Conclusion-Supplement Answer Generation for Non-Factoid Questions.	CoRR	2019	DBLP BibTeX RDF
21	Lei Li, Wei Liu, Marina Litvak, Natalia Vanetik, Zuying Huang	In Conclusion Not Repetition: Comprehensive Abstractive Summarization With Diversified Attention Based On Determinantal Point Processes.	CoRR	2019	DBLP BibTeX RDF
21	Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali 0001	On the Time-Based Conclusion Stability of Software Defect Prediction Models.	CoRR	2019	DBLP BibTeX RDF
21	Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Propositional intuitionistic multiple-conclusion calculus via proof graphs.	Log. J. IGPL	2019	DBLP DOI BibTeX RDF
21	Emmanuel Jeannot, Jesús Carretero 0001	Conclusion.	Ultrascale Computing Systems	2019	DBLP DOI BibTeX RDF
21	Miguel H. Torres-Urquidy, Amit Acharya, Robert H. Posteraro, Valerie Powell, Thankam Paul Thyvalikakath	Conclusion.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
21	Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl	Conclusion and Outlook on Security and Quality of Complex Cyber-Physical Systems Engineering.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
21	Hanna Nelasa	Collective Digital Signature Protocol on the Basis of EC-GDSA to Protect of the Doctors Concilium Medical Conclusion.	CMIS	2019	DBLP BibTeX RDF
21	Alexander Te-Wei Shieh, Yung-Sung Chuang, Shang-Yu Su, Yun-Nung Chen	Towards Understanding of Medical Randomized Controlled Trials by Conclusion Generation.	LOUHI@EMNLP	2019	DBLP DOI BibTeX RDF
21	Nicolas Riesterer, Daniel Brand, Hannah Dames, Marco Ragni	Modeling Human Syllogistic Reasoning: The Role of "No Valid Conclusion".	CogSci	2019	DBLP BibTeX RDF
21	Lei Li, Wei Liu, Marina Litvak, Natalia Vanetik, Zuying Huang	In Conclusion Not Repetition: Comprehensive Abstractive Summarization with Diversified Attention Based on Determinantal Point Processes.	CoNLL	2019	DBLP DOI BibTeX RDF
21	Yingya Li, Bei Yu 0002	Identifying Finding Sentences in Conclusion Subsections of Biomedical Abstracts.	iConference	2019	DBLP DOI BibTeX RDF
21	Michael Franklin Bosu, Solomon Mensah, Kwabena Ebo Bennin, Diab Abuaiadah	Revisiting the Conclusion Instability Issue in Software Effort Estimation (S).	SEKE	2018	DBLP DOI BibTeX RDF
21	Rebecca Tauber, James B. Munro, Suvarna Nadendla, Binika Chunara, Marcus C. Chibucos, Michelle G. Giglio	Current Development in the Evidence and Conclusion Ontology (ECO).	ICBO	2018	DBLP BibTeX RDF
21	Vladimir N. Krupski	On the Sharpness and the Single-Conclusion Property of Basic Justification Models.	LFCS	2018	DBLP DOI BibTeX RDF
21	Andreas Kroll, Axel Dürrbaum	On optimal experiment design for identifying premise and conclusion parameters of Takagi-Sugeno models: Nonlinear regression case.	Appl. Soft Comput.	2017	DBLP DOI BibTeX RDF
21	Michael Victor Arnold, Christopher Pearce 0001	Are Technologies Innocent? : Part Seven: Conclusion [Commentary].	IEEE Technol. Soc. Mag.	2017	DBLP DOI BibTeX RDF
21	Yosuke Fukuda 0001, Ryosuke Igarashi	A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction.	LORI	2017	DBLP DOI BibTeX RDF
21	John Lawrence, Chris Reed 0001	Mining Argumentative Structure from Natural Language text using Automatically Generated Premise-Conclusion Topic Models.	ArgMining@EMNLP	2017	DBLP DOI BibTeX RDF
21	Emanuel Irrazábal, Maximiliano A. Mascheroni, Cristina L. Greiner, Gladys N. Dapozo	Procrastination at the conclusion of the master's thesis: Results from a survey on computer science students in Northeast Argentina.	CLEI	2017	DBLP DOI BibTeX RDF
21	Rebecca Tauber, Marcus C. Chibucos	Logical Axiomatization of the Evidence & Conclusion Ontology (ECO) by Integrating External Ontology Classes.	ICBO	2017	DBLP BibTeX RDF
21	Tetiana Hovorushchenko	The rules and method of forming the logical conclusion about sufficiency of information for software metric analysis.	CSIT (1)	2017	DBLP DOI BibTeX RDF
21	Hanna M. Wallach	Conclusion - Computational Social Science: Toward a Collaborative Future.	Computational Social Science	2016	DBLP DOI BibTeX RDF
21	Yong Guan, Sneha Kumar Kasera, Cliff Wang, Ryan M. Gerdes	Conclusion.	Digital Fingerprinting	2016	DBLP DOI BibTeX RDF
21	Markus Jakobsson	Conclusion and Next Steps.	Understanding Social Engineering Based Scams	2016	DBLP DOI BibTeX RDF
21	Marcus C. Chibucos, Suvarna Nadendla, James B. Munro, Elvira Mitraka, Dustin Olley, Nicole A. Vasilevsky, Matthew H. Brush, Michelle G. Giglio	Supporting Database Annotations and Beyond with the Evidence & Conclusion Ontology (ECO).	ICBO/BioCreative	2016	DBLP BibTeX RDF
21	Alex Citkin	Multiple Conclusion Rules in Logics with the Disjunction Property.	LFCS	2016	DBLP DOI BibTeX RDF
21	Harley Eades III, Valeria de Paiva	Multiple Conclusion Linear Logic: Cut Elimination and More.	LFCS	2016	DBLP DOI BibTeX RDF
21	Betina Tagle, Henry Felch	Conclusion to an Intelligent Agent as an Economic Insider Threat Solution: AIMIE.	DESRIST	2016	DBLP DOI BibTeX RDF
21	Martin Gaedke, Florian Daniel	Challenge Outcome and Conclusion.	RMC	2016	DBLP DOI BibTeX RDF
21	Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel	Conclusion.	The Complete Business Process Handbook, Vol. I	2015	DBLP DOI BibTeX RDF
21	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations.	CILC	2015	DBLP BibTeX RDF
21	Cesare Pautasso, Florian Daniel	Challenge Outcome and Conclusion.	RMC@ICWE	2015	DBLP DOI BibTeX RDF
21	Éric Grégoire	On Extracting Arguments in Favor of One Given Conclusion.	IRI	2015	DBLP DOI BibTeX RDF
21	Lauren S. Hovey, Petry Ubri, Prashila Dullabh	Stakeholder Perspectives on Policy Implications Post the Conclusion of the State HIE Program.	AMIA	2015	DBLP BibTeX RDF
21	Mike Gard	Renewable energy and the conclusion of the matter [From the editor's bench ].	IEEE Instrum. Meas. Mag.	2014	DBLP DOI BibTeX RDF
21	Nissim Francez	Harmony in Multiple-Conclusion Natural-Deduction.	Logica Universalis	2014	DBLP DOI BibTeX RDF
21	Mohammad Hassan Falakmasir, Kevin D. Ashley, Christian D. Schunn, Diane J. Litman	Identifying Thesis and Conclusion Statements in Student Essays to Scaffold Peer Review.	Intelligent Tutoring Systems	2014	DBLP DOI BibTeX RDF
21	Nick Bezhanishvili, Silvio Ghilardi	Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.	Advances in Modal Logic	2014	DBLP BibTeX RDF
21	Bianka Trevisan, Eva Dickmeis, Eva-Maria Jakobs, Thomas Niehr	Indicators of Argument-conclusion Relationships. An Approach for Argumentation Mining in German Discourses.	ArgMining@ACL	2014	DBLP DOI BibTeX RDF
21	Jacky Keung, Ekrem Kocaguneli, Tim Menzies	Finding conclusion stability for selecting the best effort predictor in software effort estimation.	Autom. Softw. Eng.	2013	DBLP DOI BibTeX RDF
21	Yanning Wang, Yanyan Wang, Xuguang Zhang	Some Conclusion on Unique k-List Colorable Complete Multipartite Graphs.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
21	Yang Gi Yoon, J. H. Kang, I. H. Jang, S. I. Chan, J. S. Jang	Conclusion of the accelerated stress conditions affecting phosphor-converted LEDs using the fractional factorial design method.	Microelectron. Reliab.	2013	DBLP DOI BibTeX RDF
21	Wolfgang Effelsberg, Thorsten Strufe	Summary and Conclusion.	Benchmarking Peer-to-Peer Systems	2013	DBLP DOI BibTeX RDF
21	Anil Kumar Thurimella, Walid Maalej	Managing Requirements Knowledge: Conclusion and Outlook.	Managing Requirements Knowledge	2013	DBLP DOI BibTeX RDF
21	Céline Jost, Marine Grandgeorge, Brigitte Le Pévédic, Dominique Duhaut	StimCards: Interactive and configurable Question and Answer game users study conclusion.	ROBIO	2013	DBLP DOI BibTeX RDF