Search results for "Formalizing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Do-Hyoung Kim, Kiwon Chong	A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis.	APSEC	1996	DBLP DOI BibTeX RDF	Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique
46		Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Chitta Baral	Organizing Committee.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	A Tool for Knowledge Base Integration and Querying.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Boris A. Galitsky	Building a Repository of Background Knowledge Using Semantic Skeletons.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Michael Gelfond, J. Nelson Rushton, Weijun Zhu	Combining Logical and Probabilistic Reasoning.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Vladimir Lifschitz, Wanwan Ren	Towards a Modular Action Description Language.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Richard B. Scherl	Development of a Background Knowledge-Base about Shipping and Smuggling.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Peter Clark, Philip Harrison, Tom Jenkins, John A. Thompson, Rick Wojcik	From WordNet to a Knowlege Base.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira	An Introduction to the Syntax and Content of Cyc.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Chitta Baral, Saadat Anwar, Juraj Dzifcak	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Michael Gelfond	Going Places: Notes on a Modular Development of Knowledge about Travel.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Alfredo Gabaldon	Hierarchical Task Libraries in (Con) Golog.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
46	Joohyung Lee 0002, Vladimir Lifschitz	A Knowledge Module: Buying and Selling.	AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering	2006	DBLP BibTeX RDF
40	W. Lewis Johnson, Martin S. Feather, David R. Harris 0002	Representation and Presentation of Requirements Knowledge.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	requirements knowledge, target domains, formalizing system requirements, evolution knowledge, automated focusing support, formal specification, knowledge representation, specifications, knowledge based systems, consistency, representation, system architecture, software reusability, presentation, propagation, ARIES
33	Huaikou Miao, Junmei Sun, Xiaoxia Cao	Formalizing and analyzing service oriented software architecture style.	EDOC	2006	DBLP DOI BibTeX RDF
33	Xiaofeng Tao, Changjun Jiang	Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.	GCC (1)	2003	DBLP DOI BibTeX RDF
31	Zhanjun Li, Yongzhong Huang, Shaozhong Guo	Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns.	ITNG	2009	DBLP DOI BibTeX RDF	parallel computing patterns, Pi Calculus, grid workflow, formalizing description
28	Silvia Susana Reyes	Formalizing the Ancient Greek Participle Inflection with NooJ.	NooJ	2022	DBLP DOI BibTeX RDF
28	Javiera Jacobsen, Walter Koza, Mirian Muñoz, Francisca Saiz	Formalizing Predicates for Discovery Under the Lexicon Grammar Framework.	NooJ	2021	DBLP DOI BibTeX RDF
28	Ilham Blanchete, Mohammed Mourchid, Samir Mbarki, Abdelaziz Mouloudi	Formalizing Arabic Inflectional and Derivational Verbs Based on Root and Pattern Approach Using NooJ Platform.	NooJ	2017	DBLP DOI BibTeX RDF
28	Olga Kosheleva, Renata Reiser, Vladik Kreinovich	Formalizing the Informal, Precisiating the Imprecise: How Fuzzy Logic Can Help Mathematicians and Physicists by Formalizing Their Intuitive Ideas.	Towards the Future of Fuzzy Logic	2015	DBLP DOI BibTeX RDF
28	Vladik Kreinovich	Formalizing the informal, precisiating the imprecise: How fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas.	NAFIPS/WConSC	2015	DBLP DOI BibTeX RDF
23	Ana Luiza Dias, Júnia Coutinho Anacleto Silva, Luciana Martha Silveira, Rosângela Dellosso Penteado	Formalizing motivational patterns based on colors and their cultural meanings for developing web applications.	SAC	2009	DBLP DOI BibTeX RDF	motivational patterns, emotions, colors, collaborative work, common sense, web project
23	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Desargues' theorem in Coq using ranks.	SAC	2009	DBLP DOI BibTeX RDF	Desargues, rank, formalization, projective geometry, Coq
23	Nan Wang, Dantong Ouyang, Shanwu Sun, Chengli Zhao	Formalizing the Modeling Process of Physical Systems in MBD.	AICI	2009	DBLP DOI BibTeX RDF	G-KRA Model, Knowledge Modeling, Model-Based Diagnosis
23	Zheng Yan 0002, Rong Yan	Formalizing Trust Based on Usage Behaviours for Mobile Applications.	ATC	2009	DBLP DOI BibTeX RDF
23	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
23	Allen H. Renear, Karen M. Wickett, Richard J. Urban, David Dubin	The return of the trivial: problems formalizing collection/item metadata relationships.	JCDL	2008	DBLP DOI BibTeX RDF	metadata, logic, collections, dublin core
23	Yi Cai 0001, Ho-fung Leung	Formalizing Object Typicality in Context-Aware Ontology.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
23	Katharina Kaiser, Silvia Miksch	Formalizing 'Living Guidelines' Using LASSIE: A Multi-step Information Extraction Method.	AIME	2007	DBLP DOI BibTeX RDF
23	Mahdi Niamanesh, Rasool Jalili	Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.	FSEN	2007	DBLP DOI BibTeX RDF
23	Lu Songfeng, Sun Chengfu, Ma Xinjian	Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.	SYNASC	2007	DBLP DOI BibTeX RDF
23	Martin Fischer 0010	Formalizing Construction Knowledge for Concurrent Performance-Based Design.	EG-ICE	2006	DBLP DOI BibTeX RDF
23	Glenn Munkvold, Gunnar Ellingsen, Hege Koksvik	Formalizing work: reallocating redundancy.	CSCW	2006	DBLP DOI BibTeX RDF	health care work, collaboration, coordination, transformation, redundancy, informal, formal, nursing
23	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
23	Xuede Zhan, Huaikou Miao, Ling Liu	Formalizing the Semantics of UML Statecharts with Z*.	CIT	2004	DBLP DOI BibTeX RDF	UML, formal semantics, Z, UML statechart
23	Xuede Zhan, Huaikou Miao	An Approach to Formalizing the Semantics of UML Statecharts.	ER	2004	DBLP DOI BibTeX RDF
23	William M. Farmer	Formalizing Undefinedness Arising in Calculus.	IJCAR	2004	DBLP DOI BibTeX RDF
23	Uta Priss	Formalizing Botanical Taxonomies.	ICCS	2003	DBLP DOI BibTeX RDF
23	Huaikou Miao, Ling Liu, Li Li	Formalizing UML Models with Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
23	Lorenzo Bettini, Rocco De Nicola, Michele Loreti	Formalizing Properties of Mobile Agent Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
23	Aarati Parmar	Formalizing Approximate Objects and Theories: Some Initial Results.	SARA	2002	DBLP DOI BibTeX RDF
23	Betty H. C. Cheng	A Metamodel-Based Approach to Formalizing UML.	COMPSAC	2001	DBLP DOI BibTeX RDF
23	Olivier Danvy	Formalizing Implementation Strategies for First-Class Continuations.	ESOP	2000	DBLP DOI BibTeX RDF
23	Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff	Formalizing OpenMP Performance Properties with ASL.	ISHPC	2000	DBLP DOI BibTeX RDF	performance analysis, knowledge representation, OpenMP, language design, performance problems
23	John Harrison 0001	Formalizing Basic First Order Model Theory.	TPHOLs	1998	DBLP DOI BibTeX RDF
23	Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini	Formalizing Belief Reports - The Approach and a Case Study.	AIMSA	1998	DBLP DOI BibTeX RDF
23	Dirk Eisenbiegler, Klaus Schneider 0001, Ramayya Kumar	A Functional Approach for Formalizing Regular Hardware Structures.	HUG	1993	DBLP DOI BibTeX RDF
23	Raymond Reiter	On Formalizing Database Updates: Preliminary Report.	EDBT	1992	DBLP DOI BibTeX RDF
23	M. Saacks, J. Hassell	Two-Level Grammars as a Technique for Formalizing Programming Schemes.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
19	Anas Abou El Kalam, Philippe Balbiani	A Policy Language for Modelling Recommendations.	SEC	2009	DBLP DOI BibTeX RDF
19	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing Topology Discovery in Event-B.	IFM	2009	DBLP DOI BibTeX RDF
19	Artur Boronat, Reiko Heckel, José Meseguer 0001	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
19	Marc Denecker, Eugenia Ternovska	A logic of nonmonotone inductive definitions.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	logic programming, classical logic, Inductive definitions
19	Stefan Mandl, Bernd Ludwig	Coping with Unconsidered Context of Formalized Knowledge.	CONTEXT	2007	DBLP DOI BibTeX RDF
19	Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman	Machine Learning Biochemical Networks from Temporal Logic Properties.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
19	Riccardo Rosati 0001	Multi-modal nonmonotonic logics of minimal knowledge.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T30
19	Brigitte Pientka	Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.	ICLP	2006	DBLP DOI BibTeX RDF
19	Robert Milewski	Transformations of MML Database's Elements.	MKM	2005	DBLP DOI BibTeX RDF
19	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001	A Formalization of Off-Line Guessing for Security Protocol Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
19	Hongwei Xi	Applied Type System: Extended Abstract.	TYPES	2003	DBLP DOI BibTeX RDF
19	Joel C. Adams	Chance-It: an object-oriented capstone project for CS-1.	SIGCSE	1998	DBLP DOI BibTeX RDF
19	Michael Gelfond, Tran Cao Son	Reasoning with Prioritized Defaults.	LPKR	1997	DBLP DOI BibTeX RDF
19	Uri J. Schild, Shai Herzog	The Use of Meta-Rules in Rule Based Legal Computer Systems.	ICAIL	1993	DBLP DOI BibTeX RDF
19	Anthony Hunter	A Conceptualization of Preferences in Non-Monotonic Proof Theory.	JELIA	1992	DBLP DOI BibTeX RDF	Labelled Deductive Systems, Non-monotonic logics
14	Wenjun Shi, Qinxiang Cao, Yuxin Deng	Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.	J. Circuits Syst. Comput.	2024	DBLP DOI BibTeX RDF
14	Daniele Pusceddu, Massimo Bartoletti	Formalizing Automated Market Makers in the Lean 4 Theorem Prover.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ashok Dahal, Raphaël Huser, Luigi Lombardo	At the junction between deep learning and statistics of extremes: formalizing the landslide hazard definition.	CoRR	2024	DBLP DOI BibTeX RDF
14	Junyu Liu, Wangkai Jin, Xiangjun Peng	Formalizing Feint Actions, and Example Studies in Two-Player Games.	CoRR	2024	DBLP DOI BibTeX RDF
14	Raphaël Monat, Aymeric Fromherz, Denis Merigoux	Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.	CoRR	2024	DBLP DOI BibTeX RDF
14	Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos	Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.	Int. J. Robotics Res.	2024	DBLP DOI BibTeX RDF
14	Andrew Simpson, Matthias Dellago, Daniel W. Woods	Formalizing Attack Trees To Support Economic Analysis.	Comput. J.	2024	DBLP DOI BibTeX RDF
14	Raphaël Monat, Aymeric Fromherz, Denis Merigoux	Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.	ESOP (2)	2024	DBLP DOI BibTeX RDF
14	Bertram Poettering, Simon Rastikian	Formalizing Hash-then-Sign Signatures.	Public Key Cryptography (1)	2024	DBLP DOI BibTeX RDF
14	Nikolai Kudasov, Emily Riehl, Jonathan Weinberger	Formalizing the ∞-Categorical Yoneda Lemma.	CPP	2024	DBLP DOI BibTeX RDF
14	Siddhartha Gadgil, Anand Rao Tadipatri	Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture.	CPP	2024	DBLP DOI BibTeX RDF
14	Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui	Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.	AINA (2)	2024	DBLP DOI BibTeX RDF
14	Jianyu Chen, Jinlian Luo, Wenan Hu, Jun Ma	Fit into work! From formalizing governance of gig platform ecosystems to helping gig workers craft their platform work.	Decis. Support Syst.	2023	DBLP DOI BibTeX RDF
14	Muhammad Azwan Ibrahim, Faizan Qamar, Zarina Shukur, Nasharuddin Zainal, Nazri Marzuki, Maria Ulfah Siregar	Formalizing Attack Tree on Security Object for MySANi in Legal Metrology.	Syst.	2023	DBLP DOI BibTeX RDF
14	Nikolai Kudasov, Emily Riehl, Jonathan Weinberger	Formalizing the ∞-categorical Yoneda lemma.	CoRR	2023	DBLP DOI BibTeX RDF
14	Daniele Malitesta, Giandomenico Cornacchia, Claudio Pomo, Felice Antonio Merra, Tommaso Di Noia, Eugenio Di Sciascio	Formalizing Multimedia Recommendation through Multimodal Deep Learning.	CoRR	2023	DBLP DOI BibTeX RDF
14	Joanne Taery Kim, Wenhao Yu 0003, Yash Kothari, Jie Tan, Greg Turk, Sehoon Ha	Transforming a Quadruped into a Guide Robot for the Visually Impaired: Formalizing Wayfinding, Interaction Modeling, and Safety Mechanism.	CoRR	2023	DBLP DOI BibTeX RDF
14	Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese	Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
14	Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer	8+8=4: Formalizing Time Units to Handle Symbolic Music Durations.	CoRR	2023	DBLP DOI BibTeX RDF
14	Andrei Aleksandrov, Kim Völlinger	Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.	CoRR	2023	DBLP DOI BibTeX RDF
14	Elif Üsküplü	Formalizing two-level type theory with cofibrant exo-nat.	CoRR	2023	DBLP DOI BibTeX RDF
14	Marco Alecci, Mauro Conti, Francesco Marchiori, Luca Martinelli, Luca Pajola	Your Attack Is Too DUMB: Formalizing Attacker Scenarios for Adversarial Transferability.	CoRR	2023	DBLP DOI BibTeX RDF
14	Martin Berglund, Brink van der Merwe	Formalizing BPE Tokenization.	NCMA	2023	DBLP DOI BibTeX RDF
14	Yichen Xu, Martin Odersky	Formalizing Box Inference for Capture Calculus.	CoRR	2023	DBLP DOI BibTeX RDF
14	María Inés de Frutos-Fernández	Formalizing Norm Extensions and Applications to Number Theory.	CoRR	2023	DBLP DOI BibTeX RDF
14	Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri	Formalizing Natural Language Intent into Program Specifications via Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
14	Benedikt Ahrens, Ralph Matthes, Kobe Wullaert	Formalizing Monoidal Categories and Actions for Syntax with Binders.	CoRR	2023	DBLP DOI BibTeX RDF
14	Axel Ljungström, Anders Mörtberg	Formalizing π4(S^3) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda.	CoRR	2023	DBLP DOI BibTeX RDF
14	Qingzong Li, Yuqian Yang, Maolin Yang, Pingyu Jiang	A graphical model for formalizing health maintenance activities in the context of the whole equipment lifecycle.	Adv. Eng. Informatics	2023	DBLP DOI BibTeX RDF
14	Étienne André, Shuang Liu 0007, Yang Liu 0003, Christine Choppy, Jun Sun 0001, Jin Song Dong	Formalizing UML State Machines for Automated Verification - A Survey.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
14	Bolton Bailey, Andrew Miller	Formalizing Soundness Proofs of SNARKs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
14	Daniel J. Bernstein, Tung Chou	CryptAttackTester: formalizing attack analyses.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
14	Muhammad Irfan Khalid, Mansoor Ahmed, Jungsuk Kim	Enhancing Data Protection in Dynamic Consent Management Systems: Formalizing Privacy and Security Definitions with Differential Privacy, Decentralization, and Zero-Knowledge Proofs.	Sensors	2023	DBLP DOI BibTeX RDF
14	Shanmugapriya T	Developing Computational Models for Formalizing Concepts in the British Colonial India Corpus.	Digit. Humanit. Q.	2023	DBLP BibTeX RDF