Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Abhishek Kr Singh, Raja Natarajan	Towards a Constructive Formalization of Perfect Graph Theorems.	ICLA	2019	DBLP DOI BibTeX RDF
13	Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu	Formalization and Verification of RTPS StatefulWriter Module Using CSP.	SEKE	2019	DBLP DOI BibTeX RDF
13	Matteo Baldoni, Laura Giordano 0001, Ken Satoh	Renvoi in Private International Law: A Formalization with Modal Contexts.	JURIX	2019	DBLP DOI BibTeX RDF
13	Barry Smith 0001, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will, J. Neil Otte	A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology.	JOWO	2019	DBLP BibTeX RDF
13	Marko Esche, Felix Salwiczek, Federico Grasso Toro	Formalization of Software Risk Assessment Results in Legal Metrology Based on ISO/IEC 18045 Vulnerability Analysis.	FedCSIS	2019	DBLP DOI BibTeX RDF
13	Isaac del Pozo, Francisco Gómez 0001	Formalization of Voice-Leadings and the Nabla Algorithm.	MCM	2019	DBLP DOI BibTeX RDF
13	Yasmmin Cortes Martins, Maria Cláudia Cavalcanti, Luis Willian Pacheco Arge, Artur Ziviani, Ana Tereza Ribeiro de Vasconcelos	OntoPPI: Towards Data Formalization on the Prediction of Protein Interactions.	MTSR	2019	DBLP DOI BibTeX RDF
13	Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois	An Inherently-Typed Formalization for Featherweight Java.	SBLP	2019	DBLP DOI BibTeX RDF
13	Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes	Category Theoretic Based Formalization of the Verifiable Design Process.	SysCon	2019	DBLP DOI BibTeX RDF
13	Enrique Monsalvo San Macario, Marta Fernández Batalla, Alexandra González Aguña, José María Santamaría García, Adriana Cercas Duque, Virginia Díaz Teruel, Blanca Gonzalo de Diego, Sara Herrero Jaén, Diego Cobo González	Algorithm Formalization for Decision Making in Influenza Vaccination.	MedInfo	2019	DBLP DOI BibTeX RDF
13	Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore	A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate.	CogSci	2019	DBLP BibTeX RDF
13	Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan	Unsupervised Controllable Text Formalization.	AAAI	2019	DBLP DOI BibTeX RDF
13	Nikki Theeuwes, Geert-Jan van Houtum, Yingqian Zhang 0001, Björn Gadet	Formalization and Improvement of Ambulance Dispatching in Brabant-Zuidoost.	BNAIC/BENELEARN	2019	DBLP BibTeX RDF
13	Rui Xu, Zhiyong Zhang, Zhihong Rao, Jianfeng Chen, Ming Li, Fang Liu, Shengli Pan 0001	Cyberspace Surveying and Mapping: Hierarchical Model and Resource Formalization.	INFOCOM Workshops	2019	DBLP DOI BibTeX RDF
13	Caterine Silva de Oliveira, Cesar Sanín, Edward Szczerbicki	Towards Knowledge Formalization and Sharing in a Cognitive Vision Platform for Hazard Control (CVP-HC).	ACIIDS (1)	2019	DBLP DOI BibTeX RDF
13	Yucong Duan	Towards a Periodic Table of conceptualization and formalization on State, Style, Structure, Pattern, Framework, Architecture, Service and so on.	SNPD	2019	DBLP DOI BibTeX RDF
13	Moharram Challenger, Albert Rosich, Joachim Denil, Hans Vangheluwe	Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis.	STAF (Co-Located Events)	2019	DBLP BibTeX RDF
13	Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich	Formalization and Algebraic Modeling of Tokenomics Projects.	ICTERI Workshops	2019	DBLP BibTeX RDF
13	Vitalina Babenko	Formalization of the Model of Management of the Technological Innovations.	ICTERI Workshops	2019	DBLP BibTeX RDF
13	Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak	Formalization and Algebraic Modeling of University Economics.	ICTERI Workshops	2019	DBLP BibTeX RDF
13	Zuzana Bilanová, Ján Perhác	Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic.	ICTERI PhD Symposium	2019	DBLP BibTeX RDF
13	Marius Michaelis, Olga Streibel	Documentation Gap in Ontology Creation: Insights into the Reality of Knowledge Formalization in a Life Science Company.	SWAT4HCLS	2019	DBLP BibTeX RDF
13	Juri Buchmüller, Eren Cakmak, Natalia V. Andrienko, Gennady L. Andrienko, Jolle W. Jolles, Daniel A. Keim	Moving Together: Towards a Formalization of Collective Movement.	EuroVA@EuroVis	2019	DBLP DOI BibTeX RDF
13	Jesse Michael Han, Floris van Doorn	A Formalization of Forcing and the Unprovability of the Continuum Hypothesis.	ITP	2019	DBLP DOI BibTeX RDF
13	Daniel E. Severín	Formalization of the Domination Chain with Weighted Parameters (Short Paper).	ITP	2019	DBLP DOI BibTeX RDF
13	Anton Mallasto, Tom C. J. Dela Haije, Aasa Feragen	A Formalization of the Natural Gradient Method for General Similarity Measures.	GSI	2019	DBLP DOI BibTeX RDF
13	Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul	PCF-based formalization of the parallel composition of automata.	ICCS-DE	2019	DBLP BibTeX RDF
13	Takafumi Sakamoto, Yugo Takeuchi	Tentative Formalization of Human-Agent Interaction for Model-Based Interaction Design.	HAI	2019	DBLP DOI BibTeX RDF
13	Evgenii D. Viazilov, Alexander Mikheev	Formalization of the Disasters Impacts on Enterprises and the Population and Recommendations for Decision-Making.	DAMDID/RCDL	2019	DBLP BibTeX RDF
13	Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar	On the formalization of importance measures using HOL theorem proving.	FormaliSE@ICSE	2019	DBLP DOI BibTeX RDF
13	Eduard Klyshinsky, Valeriya V. Gribova, Carina Shakhgeldyan, Elena A. Shalfeeva, Dmitry B. Okun, Boris I. Geltser, Tatiana A. Gorbach, Olesia D. Karpik	Formalization of Medical Records Using an Ontology: Patient Complaints.	AIST (Supplement)	2019	DBLP DOI BibTeX RDF
13	Flora Amato, Giovanni Cozzolino, Francesco Moscato 0001	Domain Formalization for Metaphorical Reasoning.	EIDWT	2019	DBLP DOI BibTeX RDF
13	Rogério Winter, Ferrucio de Franco Rosa, Rodrigo Bonacin, Mário Jino	Architecture and Conceptual Formalization of Cyber-Mission Operations.	AICCSA	2019	DBLP DOI BibTeX RDF
13	Raissa Uskenbayeva, Abu Kuandykov, Zhuldyz Kalpeyeva, Aizhan Kassymova	Formalization of Applications for Processing in the e-Commerce System.	CBI (2)	2019	DBLP DOI BibTeX RDF
13	Igor Buzhinsky	Formalization of natural language requirements into temporal logics: a survey.	INDIN	2019	DBLP DOI BibTeX RDF
13	Andréa Corrêa Flôres Albuquerque, José Laurindo Campos dos Santos	A Progressive Formalization of Tacit Knowledge to Improve Semantic Expressiveness of Biodiversity Data.	SIMBig	2019	DBLP DOI BibTeX RDF
13	Alexander Maletzky	Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL.	CICM	2019	DBLP DOI BibTeX RDF
13	Qingxiang Wang	Automating Formalization of Mathematics with Machine Learning and Data Mining.	CICM Workshops	2019	DBLP BibTeX RDF
13	Andreas Seitz	An Architectural Style for Fog Computing: Formalization and Application.		2019	RDF
13	Behrang Moradi	Contribution à la formalisation et à l'évaluation de propriétés non-fonctionnelles pour l'ingénierie de système complexe : application à la résilience. (Contribution to the formalization and evaluation of non-functional requirements for complex system engineering : application to resilience).		2019	RDF
13	Dipty Tripathi, Shreya Banerjee 0002, Anirban Sarkar 0002	Formalization of business workflow with typed attributed graph.	Int. J. Web Inf. Syst.	2018	DBLP DOI BibTeX RDF
13	Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz	Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages.	LSFA	2018	DBLP DOI BibTeX RDF
13	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	First Steps Towards a Formalization of Forcing.	LSFA	2018	DBLP DOI BibTeX RDF
13	Miguel Morales Trujillo, Hanna Oktaba, Francisco Hernández Quiroz, Boris Escalante-Ramírez	Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods.	Comput. Informatics	2018	DBLP DOI BibTeX RDF
13	Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, Michael Schrefl	Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
13	Chris Partridge, Sergio de Cesare, Andrew Mitchell, James Odell	Formalization of the classification pattern: survey of classification modeling in information systems engineering.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
13	Bernard Carré, Gilles Vanwormhoudt, Olivier Caron	On submodels and submetamodels with their relation - A uniform formalization through inclusion properties.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
13	Dimitrios Anagnostakis, James M. Ritchie, Theodore Lim, Raymond C. W. Sung, Richard G. Dewar	Automated Coordinate Measuring Machine Inspection Planning Knowledge Capture and Formalization.	J. Comput. Inf. Sci. Eng.	2018	DBLP DOI BibTeX RDF
13	Ricardo Sousa Silvestre	A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant.	FLAP	2018	DBLP BibTeX RDF
13	Adnan Rashid, Osman Hasan	Formalization of Lerch's Theorem using HOL Light.	FLAP	2018	DBLP BibTeX RDF
13	Andrej Bauer, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Assia Mahboubi	Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341).	Dagstuhl Reports	2018	DBLP DOI BibTeX RDF
13	Chunna Zhao, Shanshan Li	Formalization of fractional order PD control systems in HOL4.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Daniel Welch 0001	Formalization Integrated Development Environments: The Current Landscape.	ACM SIGSOFT Softw. Eng. Notes	2018	DBLP DOI BibTeX RDF
13	Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko	Implementation of the Composition-nominative Approach to Program Formalization in Mizar.	Comput. Sci. J. Moldova	2018	DBLP BibTeX RDF
13	Reynald Affeldt, Cyril Cohen, Damien Rouhling	Formalization Techniques for Asymptotic Reasoning in Classical Analysis.	J. Formaliz. Reason.	2018	DBLP DOI BibTeX RDF
13	Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic	Formalization of Automated Trading Systems in a Concurrent Linear Framework.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
13	Martin Mose Bentzen, Felix Lindner 0001	A Formalization of Kant's Second Formulation of the Categorical Imperative.	CoRR	2018	DBLP BibTeX RDF
13	Erick Lavoie, Laurie J. Hendren	A Formalization for Specifying and Implementing Correct Pull-Stream Modules.	CoRR	2018	DBLP BibTeX RDF
13	Sylvie Davies	A General Approach to State Complexity of Operations: Formalization and Limitations.	CoRR	2018	DBLP BibTeX RDF
13	Janardan Misra	An Inductive Formalization of Self Reproduction in Dynamical Hierarchies.	CoRR	2018	DBLP BibTeX RDF
13	Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan	Unsupervised Controllable Text Formalization.	CoRR	2018	DBLP BibTeX RDF
13	Yujing Hu, Qing Da, Anxiang Zeng, Yang Yu 0001, Yinghui Xu	Reinforcement Learning to Rank in E-Commerce Search Engine: Formalization, Analysis, and Application.	CoRR	2018	DBLP BibTeX RDF
13	Adnan Rashid, Osman Hasan	Formalization of Lerch's Theorem using HOL Light.	CoRR	2018	DBLP BibTeX RDF
13	Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh	One Formalization of Virtue Ethics via Learning.	CoRR	2018	DBLP BibTeX RDF
13	Frank Drewes, Berthold Hoffmann, Mark Minas	Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement.	CoRR	2018	DBLP BibTeX RDF
13	Frank Dignum	Interactions as Social Practices: towards a formalization.	CoRR	2018	DBLP BibTeX RDF
13	Martín Copes, Nora Szasz, Álvaro Tasistro	Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
13	Floris van Doorn	On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory.	CoRR	2018	DBLP BibTeX RDF
13	Abhishek Kr Singh, Raja Natarajan	Towards a constructive formalization of Perfect Graph Theorems.	CoRR	2018	DBLP BibTeX RDF
13	San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang	Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation.	CoRR	2018	DBLP BibTeX RDF
13	Mohamed Yousri Mahmoud, Amy P. Felty	Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.	CoRR	2018	DBLP BibTeX RDF
13	Dmitry Morozov, Mario Lezoche, Hervé Panetto	Knowledge extraction, modeling and formalization: EEG case study.	CoRR	2018	DBLP BibTeX RDF
13	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	First steps towards a formalization of Forcing.	CoRR	2018	DBLP BibTeX RDF
13	Amel Benabbou, Safia Nait Bahloul	Automated Context Formalization for Context-aware Specification Approach.	Int. J. Inf. Syst. Model. Des.	2018	DBLP DOI BibTeX RDF
13	Sumant Pushp, Adity Saikia, Md. Arif Khan, Shyamanta M. Hazarika	A cognitively enhanced collaborative control architecture for an intelligent wheelchair: Formalization, implementation and evaluation.	Cogn. Syst. Res.	2018	DBLP DOI BibTeX RDF
13	Nicholas Stifter, Aljosha Judmayer, Philipp Schindler, Alexei Zamyatin, Edgar R. Weippl	Agreement with Satoshi - On the Formalization of Nakamoto Consensus.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
13	Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch	An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
13	Roy Overbeek	Formalization of Concurrent Revisions.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
13	Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann	Formalization of Bachmair and Ganzinger's Ordered Resolution Prover.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
13	Alexander Bentkamp	Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
13	Marco Maggesi	A Formalization of Metric Spaces in HOL Light.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
13	Anders Schlichtkrull	Formalization of the Resolution Calculus for First-Order Logic.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
13	Aida Kamisalic, David Riaño 0001, Tatjana Welzer	Formalization and acquisition of temporal knowledge for decision support in medical processes.	Comput. Methods Programs Biomed.	2018	DBLP DOI BibTeX RDF
13	Esther H. Park Lee, Zofia Lukszo, Paulien M. Herder	Conceptualization of Vehicle-to-Grid Contract Types and Their Formalization in Agent-Based Models.	Complex.	2018	DBLP DOI BibTeX RDF
13	Edans Flavius de Oliveira Sandes, George Luiz Medeiros Teodoro, Maria Emília M. T. Walter, Xavier Martorell, Eduard Ayguadé, Alba Cristina Magalhaes Alves de Melo	Formalization of Block Pruning: Reducing the Number of Cells Computed in Exact Biological Sequence Comparison Algorithms.	Comput. J.	2018	DBLP DOI BibTeX RDF
13	Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei	Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.	Int. J. Softw. Eng. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
13	Héctor Echavarría-Heras, Cecilia Leal Ramírez, Juan Ramón Castro-Rodríguez, Enrique Villa-Diharce, Oscar Castillo 0001	A Takagi-Sugeno-Kang Fuzzy Model Formalization of Eelgrass Leaf Biomass Allometry with Application to the Estimation of Average Biomass of Leaves in Shoots: Comparing the Reproducibility Strength of the Present Fuzzy and Related Crisp Proxies.	Fuzzy Logic Augmentation of Neural and Optimization Algorithms	2018	DBLP DOI BibTeX RDF
13	Natalia A. Serdyukova, Vladimir I. Serdyukov	Algebraic Formalization of Smart Systems - Theory and Practice		2018	DOI RDF
13	Bogdan B. Buyak, Ivan M. Tsidylo, Victor I. Repskyi, Vitaliy P. Lyalyuk	Stages of Conceptualization and Formalization in the Design of the Model of the Neuro-Fuzzy Expert System of Professional Selection of Pupils.	AREdu	2018	DBLP BibTeX RDF
13	Jakub Zakrzewski 0001	Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity.	VSTTE	2018	DBLP DOI BibTeX RDF
13	Alessandro Coglio	A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars.	VSTTE	2018	DBLP DOI BibTeX RDF
13	Diana Meléndez, Thierry Coudert, Laurent Geneste, Juan Camilo Romero Bejarano, Aymeric De Valroger	Formalization and Reuse of Collaboration Experiences in Industrial Processes.	CSDM	2018	DBLP DOI BibTeX RDF
13	Ryota Akiyoshi	A Formalization of Brouwer's Argument for Bar Induction.	WoLLIC	2018	DBLP DOI BibTeX RDF
13	Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz	Formalization of the Undecidability of the Halting Problem for a Functional Language.	WoLLIC	2018	DBLP DOI BibTeX RDF
13	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Charles Steinmetz, Michel S. Soares	An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain.	ISORC	2018	DBLP DOI BibTeX RDF
13	Guohui Wang, Yong Guan, Zhiping Shi 0002, Qianying Zhang, Xiaojuan Li, Yongdong Li	Formalization of Symplectic Geometry in HOL-Light.	ICFEM	2018	DBLP DOI BibTeX RDF
13	Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao	Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.	SEKE	2018	DBLP DOI BibTeX RDF
13	Martin Bodin, Tomás Diaz, Éric Tanter	A trustworthy mechanized formalization of R.	DLS	2018	DBLP DOI BibTeX RDF
13	Taro Kanno, Daichi Mitsuhashi, Satoru Inoue, Daisuke Karikawa, Kohei Nonose	Formalization and Quantification of Team Contexts for Meso-cognitive Studies.	IHSED	2018	DBLP DOI BibTeX RDF
13	Petr Velan	Improving network flow definition: Formalization and applicability.	NOMS	2018	DBLP DOI BibTeX RDF