Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|