Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Raheel Qader, Gwénolé Lecorvé, Damien Lolive, Pascale Sébillot	Disfluency Insertion for Spontaneous TTS: Formalization and Proof of Concept.	SLSP	2018	DBLP DOI BibTeX RDF
13	Peihong Huang, Guo-Lei Zheng, Shilong Ma	Ten-Years Research Progress of Natural Language Understanding Based on Perceptual Formalization.	IFIP TC12 ICIS	2018	DBLP DOI BibTeX RDF
13	Solomon Gebreyohannes, William W. Edmonson, Albert C. Esterline	Formalization of the responsive and formal design process using category theory.	SysCon	2018	DBLP DOI 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.	KDD	2018	DBLP DOI BibTeX RDF
13	Aida Kamisalic, David Riaño 0001, Tatjana Welzer	Knowledge Formalization to Support Decision-Making in Heart Failure Treatment.	EFMI-STC	2018	DBLP DOI BibTeX RDF
13	Wanling Xie, Huibiao Zhu, Min Zhang 0002, Gang Lu, Yucheng Fang	Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
13	Carlo Combi, Pietro Sala, Francesca Zerbato	A Logical Formalization of Time-Critical Processes with Resources.	BPM (Forum)	2018	DBLP DOI BibTeX RDF
13	Sylvie Davies	A General Approach to State Complexity of Operations: Formalization and Limitations.	DLT	2018	DBLP DOI BibTeX RDF
13	Ruslan Akhundov, Andrey Filchenkov, Vladimir Gorovoy	Formalization and Automated Detection of Tourist City Center Location.	FRUCT	2018	DBLP DOI BibTeX RDF
13	Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao 0001	Formalization and Complexity of MongoDB Queries (Extended Abstract).	SEBD	2018	DBLP BibTeX RDF
13	Georgios Vrettos, Evangelos Logaras, Emmanouil Kalligeros	Towards Standardization of MQTT-Alert-based Sensor Networks: Protocol Structures Formalization and Low-End Node Security.	SIES	2018	DBLP DOI BibTeX RDF
13	Ahmed Bounoua, Ahmed Zinedine, Mohammed El Mohajir, Mohamed El Hannach	Formalization of the Maçdar Category by its Patterns Using the NooJ Platform.	CIST	2018	DBLP DOI BibTeX RDF
13	Chalika Saksupawattanakul, Wiwat Vatanawood	Event-B Formalization of Basic Supply Chain Patterns.	SNPD	2018	DBLP DOI BibTeX RDF
13	Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali	Event-B Formalization of a Variability-Aware Component Model Patterns Framework.	FACS	2018	DBLP DOI BibTeX RDF
13	Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash	Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration.	UCC Companion	2018	DBLP DOI BibTeX RDF
13	Jia Lee, Ferdinand Peper, Kenji Leibnitz	Formalization of Asynchronous Cellular Automata Using Asynchronous Protocol for Communications.	CANDAR Workshops	2018	DBLP DOI BibTeX RDF
13	Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers	Formalization of a Polymorphic Subtyping Algorithm.	ITP	2018	DBLP DOI BibTeX RDF
13	Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin	An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory.	ITP	2018	DBLP DOI BibTeX RDF
13	Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002	A Formalization of the LLL Basis Reduction Algorithm.	ITP	2018	DBLP DOI BibTeX RDF
13	Pawel Wieczorek, Dariusz Biernacki	A Coq formalization of normalization by evaluation for Martin-Löf type theory.	CPP	2018	DBLP DOI BibTeX RDF
13	Behrang Moradi, Nicolas Daclin, Vincent Chapurlat	Formalization and Evaluation of Non-functional Requirements: Application to Resilience.	PRO-VE	2018	DBLP DOI BibTeX RDF
13	Erick Simas Grilo, Bruno Lopes 0001	Formalization and Certification of Software for Smart Cities.	IJCNN	2018	DBLP DOI BibTeX RDF
13	Justin Kong 0002, David J. Webb, Manabu Hagiwara	Formalization of Insertion/Deletion Codes and the Levenshtein Metric in Lean.	ISITA	2018	DBLP DOI BibTeX RDF
13	Felix Lindner 0001, Martin Mose Bentzen	A Formalization of Kant's Second Formulation of the Categorical Imperative.	DEON	2018	DBLP BibTeX RDF
13	Olga Popova, Yury Shevtsov, Boris Popov, Vladimir Karandey, Vladimir Klyuchko	Theoretical Propositions and Practical Implementation of the Formalization of Structured Knowledge of the Subject Area for Exploratory Research.	IHSI	2018	DBLP DOI BibTeX RDF
13	Luis Carlos Ferreira Bueno, Bruno Muller, Alexandre Ibrahim Direne	StratVision - A Framework for Strategic Vision Formalization.	WorldCIST (2)	2018	DBLP DOI BibTeX RDF
13	Martin Mose Bentzen	A Formalization of Kant's Second Formulation of the Categorical Imperative.	ISAIM	2018	DBLP BibTeX RDF
13	Ahmed Bounoua, Ahmed Zinedine, Mohamed El Hannach, Rachida Kasmi	Formalization of the Arabic grammatical category (V-a) using the NooJ platform.	LOPAL	2018	DBLP DOI BibTeX RDF
13	Nicola Falcionelli, Paolo Sernani, Dagmawi Neway Mekuria, Aldo Franco Dragoni	An Event Calculus Formalization of Timed Automata.	RTcMAS@IJCAI	2018	DBLP BibTeX RDF
13	Irina Barinova, Vera Guryeva, Yuri Kotov, Tatiana Semenova	Mathematical Methods for Structuring and Formalization of Medical Experience.	BICA	2018	DBLP DOI BibTeX RDF
13	Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki	Formalization and Verification of AUTOSAR OS Standard's Memory Protection.	TASE	2018	DBLP DOI BibTeX RDF
13	Karol Pak	Progress in the Formalization of Matiyasevich's Theorem in the Mizar System.	CICM Workshops	2018	DBLP BibTeX RDF
13	Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire	A Coq Formalization of Digital Filters.	CICM	2018	DBLP DOI BibTeX RDF
13	Thomas Felix Barabosch	Formalization and Detection of Host-Based Code Injection Attacks in the Context of Malware.		2018	RDF
13	Luciano Gervasoni	Contributions to the formalization and implementation of spatial urban indices using open data: application to urban sprawl studies. (Contributions à la formalisation et à la mise en œuvre d'indices spatiaux urbains utilisant des données ouvertes: application aux études de l'étalement urbain).		2018	RDF
13	Mohammed Tadlaoui	Système de recommandation de ressources pédagogiques fondé sur les liens sociaux: formalisation et évaluation. (Educational resource recommendation system based on social links: formalization and evaluation).		2018	RDF
13	Pierre Boutry	On the Formalization of Foundations of Geometry. (Sur la formalisation des fondements de la géométrie).		2018	RDF
13	Anders Schlichtkrull	Formalization of Logic in the Isabelle Proof Assistant.		2018	RDF
13	Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar	Formalization of Habanero phasers using Coq.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
13	Catarina Dutilh Novaes, Erich H. Reck	Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.	Synth.	2017	DBLP DOI BibTeX RDF
13	Gabriele Valentini, Eliseo Ferrante, Marco Dorigo	The Best-of-n Problem in Robot Swarms: Formalization, State of the Art, and Novel Perspectives.	Frontiers Robotics AI	2017	DBLP DOI BibTeX RDF
13	Emmanuel Gunther, Alejandro Gadea, Miguel Pagano	Formalization of Universal Algebra in Agda.	LSFA	2017	DBLP DOI BibTeX RDF
13	Lam-Son Lê, Trung-Viet Nguyen, Thai-Minh Truong, Khuong Nguyen-An	Contractual Specifications of Business Services: Modeling, Formalization and Proximity.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
13	Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull	NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.	FLAP	2017	DBLP BibTeX RDF
13	Valentina A. Assenova, Olav Sorenson	Legitimacy and the Benefits of Firm Formalization.	Organ. Sci.	2017	DBLP DOI BibTeX RDF
13	Florian Kammüller, Manfred Kerber, Christian W. Probst	Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation.	J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.	2017	DBLP DOI BibTeX RDF
13	Mario J. Pérez-Jiménez, Carmen Graciani Díaz, David Orellana-Martín, Agustin Riscos-Núñez, Álvaro Romero Jiménez, Luis Valencia-Cabrera	Fuzzy reasoning spiking neural P systems revisited: A formalization.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Stefan Wiemann	Formalization and web-based implementation of spatial data fusion.	Comput. Geosci.	2017	DBLP DOI BibTeX RDF
13	João Carlos Gluz, Patrícia Augustin Jaques	A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions.	J. Artif. Intell. Res.	2017	DBLP DOI BibTeX RDF
13	Bohua Zhan	Formalization of the fundamental group in untyped set theory using auto2.	CoRR	2017	DBLP BibTeX RDF
13	David H. Wolpert	Constraints on physical reality arising from a formalization of knowledge.	CoRR	2017	DBLP BibTeX RDF
13	Xavier Allamigeon, Ricardo D. Katz	A formalization of convex polyhedra based on the simplex method.	CoRR	2017	DBLP BibTeX RDF
13	Ai Azuma, Masashi Shimbo, Yuji Matsumoto 0001	An Algebraic Formalization of Forward and Forward-backward Algorithms.	CoRR	2017	DBLP BibTeX RDF
13	Adnan Rashid, Osman Hasan	Formalization of Transform Methods using HOL Light.	CoRR	2017	DBLP BibTeX RDF
13	Chun Tian 0001	Further Formalization of the Process Algebra CCS in HOL4.	CoRR	2017	DBLP BibTeX RDF
13	Chun Tian 0001	A Formalization of the Process Algebra CCS in HOL4.	CoRR	2017	DBLP BibTeX RDF
13	Chun Tian 0001	A Formalization of Unique Solutions of Equations in Process Algebra.	CoRR	2017	DBLP BibTeX RDF
13	Lucas Bechberger, Kai-Uwe Kühnberger	A Thorough Formalization of Conceptual Spaces.	CoRR	2017	DBLP BibTeX RDF
13	Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst	Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models.	ThEdu@CADE	2017	DBLP DOI BibTeX RDF
13	Abhishek Kr Singh	Formalization of some central theorems in combinatorics of finite sets.	CoRR	2017	DBLP BibTeX RDF
13	Reinhard Oldenburg	Transparent Rule Based CAS to Support Formalization of Knowledge.	Math. Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Jean-Baptiste Lamy, Lina Fatima Soualmia	Formalization of the semantics of iconic languages: An ontology-based method and four semantic-powered applications.	Knowl. Based Syst.	2017	DBLP DOI BibTeX RDF
13	Kirill Belyaev, Indrakshi Ray	On the formalization, design, and implementation of component-oriented access control in lightweight virtualized server environments.	Comput. Secur.	2017	DBLP DOI BibTeX RDF
13	Sergey Bratus, Anna Shubina	Exploitation as code reuse: On the need of formalization.	it Inf. Technol.	2017	DBLP DOI BibTeX RDF
13	Hanna S. van Lee	A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic.	LORI	2017	DBLP DOI BibTeX RDF
13	Abhishek Kr Singh	Formalization of some central theorems in combinatorics of finite sets.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
13	Cezary Kaliszyk, Karol Pak	Isabelle Formalization of Set Theoretic Structures and Set Comprehensions.	MACIS	2017	DBLP DOI BibTeX RDF
13	Antoine Zimmermann, José M. Giménez-García	Contextualizing DL Axioms: Formalization, a New Approach, and Its Properties.	WSP/WOMoCoE@ISWC	2017	DBLP BibTeX RDF
13	Alba Fernández-Izquierdo	Ontology testing based on requirements formalization in collaborative development environments.	DC@ISWC	2017	DBLP BibTeX RDF
13	Shujie Tian, Bo Wang, Li Wang, Dan Xu	Formalization Modeling of Maintenance Based on Agent.	HCI (29)	2017	DBLP DOI BibTeX RDF
13	Jia She, Xiaoran Zhu, Min Zhang 0002	Algebraic Formalization and Verification of PKMv3 Protocol using Maude.	SEKE	2017	DBLP DOI BibTeX RDF
13	Nicole Brazda, Hendrik ter Horst, Matthias Hartung, Cord Wiljes, Veronica Estrada 0001, Roman Klinger, Wolfgang Kuchinke, Hans Werner Müller, Philipp Cimiano	SCIO: An Ontology to Support the Formalization of Pre-Clinical Spinal Cord Injury Experiments.	JOWO	2017	DBLP BibTeX RDF
13	Aixuan Wu, Zhiping Shi 0002, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song	Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity.	IROS	2017	DBLP DOI BibTeX RDF
13	Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov	Formalization of the Algebra of Nominative Data in Mizar.	FedCSIS	2017	DBLP DOI BibTeX RDF
13	Marcin Acewicz, Karol Pak	Formalization of Pell's Equations in the Mizar System.	FedCSIS	2017	DBLP DOI BibTeX RDF
13	Lucas Bechberger, Kai-Uwe Kühnberger	A Thorough Formalization of Conceptual Spaces.	KI	2017	DBLP DOI BibTeX RDF
13	Ailun Liu, Miroslav Popovic, Huibiao Zhu	Formalization and Verification of the PSTM Architecture.	APSEC	2017	DBLP DOI BibTeX RDF
13	Benedikt Walter, Jakob Hammes, Marco Piechotta, Stephan Rudolph	A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements.	RE	2017	DBLP DOI BibTeX RDF
13	Martina Asenbrener Katic, Sanja Candrlic, Mile Pavlic	Comparison of Two Versions of Formalization Method for Text Expressed Knowledge.	BDAS	2017	DBLP DOI BibTeX RDF
13	Liya Liu, Osman Hasan, Sofiène Tahar	Formalization of Birth-Death and IID processes in higher-order logic.	SysCon	2017	DBLP DOI BibTeX RDF
13	Xiaogang Wang	Decentralized cloud service composition formalization using the bargaining game model.	ICSAI	2017	DBLP DOI BibTeX RDF
13	Jeroen Peperkamp, Klaus Hildebrandt, Cynthia C. S. Liem	A Formalization of Relative Local Tempo Variations in Collections of Performances.	ISMIR	2017	DBLP BibTeX RDF
13	Bin Xiao 0007, Rahim Rahmani	A deep relation learning method for IoT interoperability enhancement within semantic formalization framework.	ICC	2017	DBLP DOI BibTeX RDF
13	Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu 0005, Jian Guo 0005, Gang Lu	Formalization and Verification of the PKMv3 Protocol Using CSP.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
13	Daniel Welch 0001, Blair Durkee, Mike Kabbani, Murali Sitaraman	Formalization IDEs Integrated with a Verifying Compiler.	ICOOOLPS@ECOOP	2017	DBLP DOI BibTeX RDF
13	Igor A. Zikratov, Victoria M. Korzhuk, Ilya Shilov, Alexey Gvozdev	Formalization of the feature space for detection of attacks on wireless sensor networks.	FRUCT	2017	DBLP DOI BibTeX RDF
13	Shabnam Ozlati, Roman Yampolskiy	The Formalization of AI Risk Management and Safety Standards.	AAAI Workshops	2017	DBLP BibTeX RDF
13	Mnacho Echenim, Nicolas Peltier	The Binomial Pricing Model in Finance: A Formalization in Isabelle.	CADE	2017	DBLP DOI BibTeX RDF
13	Raheel Qader, Gwénolé Lecorvé, Damien Lolive, Pascale Sébillot	Ajout automatique de disfluences pour la synthèse de la parole spontanée : formalisation et preuve de concept (Automatic disfluency insertion towards spontaneous TTS : formalization and proof of concept).	TALN	2017	DBLP BibTeX RDF
13	Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov	An Approach To Formalization of an Extension of Floyd-Hoare Logic.	ICTERI	2017	DBLP BibTeX RDF
13	Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy	Formalization and Algebraic Verification of Legal Requirements.	ICTERI	2017	DBLP BibTeX RDF
13	Mohamed Hassine, Philippe Canalda, Idriss Hassine	Dynamic intra-modal carpooling with transhipment: Formalization and first combinatorial exact solution.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2017	DBLP DOI BibTeX RDF
13	Bohua Zhan	Formalization of the Fundamental Group in Untyped Set Theory Using Auto2.	ITP	2017	DBLP DOI BibTeX RDF
13	Cezary Kaliszyk, Josef Urban, Jirí Vyskocil	Automating Formalization by Statistical and Semantic Parsing of Mathematics.	ITP	2017	DBLP DOI BibTeX RDF
13	Sophie Bernard	Formalization of the Lindemann-Weierstrass Theorem.	ITP	2017	DBLP DOI BibTeX RDF
13	Xavier Allamigeon, Ricardo D. Katz	A Formalization of Convex Polyhedra Based on the Simplex Method.	ITP	2017	DBLP DOI BibTeX RDF
13	Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada 0002	A formalization of the Berlekamp-Zassenhaus factorization algorithm.	CPP	2017	DBLP DOI BibTeX RDF
13	Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters	The HoTT library: a formalization of homotopy type theory in Coq.	CPP	2017	DBLP DOI BibTeX RDF
13	Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto	Formalization of Karp-Miller tree construction on petri nets.	CPP	2017	DBLP DOI BibTeX RDF
13	Fabian Burzlaff, Christian Bartelt	Knowledge-Driven Architecture Composition: Case-Based Formalization of Integration Knowledge to Enable Automated Component Coupling.	ICSA Workshops	2017	DBLP DOI BibTeX RDF