Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Marcin Kubica	A Temporal Approach to Specification and Verification of Pointer Data-Structures.	FASE	2003	DBLP DOI BibTeX RDF
14	Mehdi Dastani, Leendert W. N. van der Torre	An Extension of BDICTL with Functional Dependencies and Components.	LPAR	2002	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.	ISSS	2002	DBLP DOI BibTeX RDF
14	André G. Farina, Paulo Fernandes 0001, Flávio Moreira Oliveira	Representing software usage models with stochastic automata networks.	SEKE	2002	DBLP DOI BibTeX RDF	statistical testing, usage models, stochastic automata networks
14	Karin Harbusch, Jens Woch	Integrated Natural Language Generation with Schema-Tree Adjoining Grammars.	CICLing	2002	DBLP DOI BibTeX RDF
14	Jan Smid, Marek Obitko, Walt Truszkowski	An Approach to Knowledge Exchange and Sharing between Agents.	WRAC	2002	DBLP DOI BibTeX RDF
14	Shane Sendall, Alfred Strohmeier	Using OCL and UML to Specify System Behavior.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification
14	A. Osmani	Learning Patterns in Multidimensional Space Using Interval Algebra.	AIMSA	2002	DBLP DOI BibTeX RDF
14	Chantal Reynaud, Brigitte Safar	Representation of Ontologies for Information Integration.	EKAW	2002	DBLP DOI BibTeX RDF
14	Franz Baader	Engineering of Logics for the Content-Based Representation of Information.	RTA	2002	DBLP DOI BibTeX RDF
14	Christophe Sibertin-Blanc	CoOperative Objects: Principles, Use and Implementation.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
14	Christian Heinlein	Workflow and Process Synchronization with Interaction Expressions and Graphs.	ICDE	2001	DBLP DOI BibTeX RDF
14	Peter McBurney, Simon Parsons	A formal framework for inter-agent dialogues.	Agents	2001	DBLP DOI BibTeX RDF	computational dialectics, conversational agents, dialogue games, multi-agent communication/collaboration
14	Luca de Alfaro, Thomas A. Henzinger	Interface automata.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
14	Wai-Shun Tong, Chi-Keung Tang, Gérard G. Medioni	First Order Tensor Voting, and Application to 3-D Scale Analysis.	CVPR (1)	2001	DBLP DOI BibTeX RDF
14	Honitriniela Randriamparany, Bertrand Ibrahim	Seamless Integration of Control Flow and Data Flow in a Visual Language.	AICCSA	2001	DBLP DOI BibTeX RDF
14	Kjell Lemström, Lauri Hella	Approximate Pattern Matching is Expressible in Transitive Closure Logic.	LICS	2000	DBLP DOI BibTeX RDF
14	Morad Benyoucef, Rudolf K. Keller	An Evaluation of Formalisms for Negotiations in E-commerce.	DCW	2000	DBLP DOI BibTeX RDF
14	Jin-Cherng Lin, Ian Ho	A New Perspective on Formal Testing Method for Real-Time Software.	EUROMICRO	2000	DBLP DOI BibTeX RDF
14	Stefan Leue, Gerard J. Holzmann	v-Promela: A Visual, Object-Oriented Language for SPIN.	ISORC	1999	DBLP DOI BibTeX RDF
14	Iadh Ounis	A Flexible Weighting Scheme for Multimedia Documents.	DEXA	1999	DBLP DOI BibTeX RDF
14	Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo	A Logical Framework for Reasoning on Data Access Control Policies.	CSFW	1999	DBLP DOI BibTeX RDF
14	Ronald M. Lee	Automated Generation of Electronic Procedures: Procedure Constraint Grammars.	HICSS	1999	DBLP DOI BibTeX RDF
14	Rance Cleaveland	Temporal Process Logic (Abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
14	John K. Debenham	Constructing the Functional Model.	DEXA	1997	DBLP DOI BibTeX RDF
14	Guy W. Mineau, Rokia Missaoui	The Representation of Semantic Constraints in Conceptual Graph Systems.	ICCS	1997	DBLP DOI BibTeX RDF	conceptual graph theory, semantics, semantic constraints
14	Dimiter R. Avresky, Spyridon Vassilaras	Automated Formal Verification of Protocols.	ICCCN	1997	DBLP DOI BibTeX RDF	telecommunication protocols, execution tree, real-time systems, Formal methods
14	Paolo Terenziani	Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events.	TIME	1997	DBLP DOI BibTeX RDF
14	Elena Zucca	From Static to Dynamic Abstract Data-Types.	MFCS	1996	DBLP DOI BibTeX RDF
14	Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta	Modeling Symmetric Computer Architectures by SWNs.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
14	Thomas C. Hartrum, Paul D. Bailor	Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies.	CSEE	1994	DBLP DOI BibTeX RDF
14	V. Wiktor Marek, Miroslaw Truszczynski	Revision Specifications by Means of Programs.	JELIA	1994	DBLP DOI BibTeX RDF
14	Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc	Design of User-Driven Interfaces Using Petri Nets and Objects	CAiSE	1993	DBLP DOI BibTeX RDF
14	Nada Lavrac, Saso Dzeroski, Marko Grobelnik	Learning Nonrecursive Definitions of Relations with LINUS.	EWSL	1991	DBLP DOI BibTeX RDF
14	Philipp Hanschke	Terminological Reasoning and Partial Inductive Definitions.	ELP	1991	DBLP DOI BibTeX RDF
14	Amaury Legait, Flávio Oquendo, Dan Oldfield	MASP: A Model for Assisted Software Processes.	SEE	1989	DBLP DOI BibTeX RDF	MASP, ALF, PCTE, Software Process Model, Enaction
14	Dan E. Willard, Young C. Wee	Quasi-Valid Range Querying and Its Implications for Nearest Neighbor Problems.	SCG	1988	DBLP DOI BibTeX RDF
14	Xiaolei Qian, Richard J. Waldinger	A Transaction Logic for Database Specification.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
14	Gérard P. Huet	Induction Principles Formalized in the Calculus of Constructions.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
14	David R. Barach, David H. Taenzer, Robert E. Wells	A technique for finding storage allocation errors in C-language programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
13	Fernando Barros	πHyFlow: formalism, semantics, and applications.	Discret. Event Dyn. Syst.	2024	DBLP DOI BibTeX RDF
13	Kaiqi Chen, Shurun Tan	An Efficient Multiple Scattering Solution to Radiative Transfer Equations in Strong Forward Scattering Environments for Vegetated Land Emission and its Representation Through an Equivalent Albedo-Tau Formalism.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
13	Peter Dawood, Felix Breuer, István Homolya, Jannik Stebani, Maximilian Gram, Peter M. Jakob, Moritz Zaiss, Martin Blaimer	A novel image space formalism of Fourier domain interpolation neural networks for noise propagation analysis.	CoRR	2024	DBLP DOI BibTeX RDF
13	Filippo Bigi, Sanggyu Chong, Michele Ceriotti, Federico Grasselli	A prediction rigidity formalism for low-cost uncertainties in trained neural networks.	CoRR	2024	DBLP DOI BibTeX RDF
13	Guillaume Dauphinais, David W. Kribs, Michael Vasmer	Stabilizer Formalism for Operator Algebra Quantum Error Correction.	Quantum	2024	DBLP DOI BibTeX RDF
13	Leonardo A. Fagundes, Alexandre Gomes Caldeira, Matheus Berger Quemelli, Felipe N. Martins, Alexandre Santos Brandão	Analytical Formalism for Data Representation and Object Detection with 2D LiDAR: Application in Mobile Robotics.	Sensors	2024	DBLP DOI BibTeX RDF
13	Roy Araiza, Jihong Cai, Yushan Chen, Abraham Holtermann, Chieh Hsu, Tushar Mohan, Peixue Wu, Zeyuan Yu	A note on the stabilizer formalism via noncommutative graphs.	Quantum Inf. Process.	2024	DBLP DOI BibTeX RDF
13	Antik Sihi, Sudhir K. Pandey	TRACK: A python code for calculating the transport properties of correlated electron systems using Kubo formalism.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
13	Germain Clavier, Aidan P. Thompson	Computation of the thermal elastic constants for arbitrary manybody potentials in LAMMPS using the stress-fluctuation formalism.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
13	Jader E. Brasil, Josué Knorst, Artur O. Lopes	Thermodynamic Formalism for Continuous-Time Quantum Markov Semigroups: the Detailed Balance Condition, Entropy, Pressure and Equilibrium Quantum Processes.	Open Syst. Inf. Dyn.	2023	DBLP DOI BibTeX RDF
13	Shahid Yousaf, Hafiz Mahfooz Ul Haque, Muhammad Atif, Muhammad Adnan Hashmi, Abbas Khalid, Phan Cong Vinh	A context-aware multi-agent reasoning based intelligent assistive formalism.	Internet Things	2023	DBLP DOI BibTeX RDF
13	Jennifer Leaf, Julie A. Adams, Matthias Scheutz, Michael A. Goodrich	Resilience for Goal-Based Agents: Formalism, Metrics, and Case Studies.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Andrey Boris Khesin, Kevin Ren	Extending the graph formalism to higher-order gates.	Quantum Inf. Comput.	2023	DBLP DOI BibTeX RDF
13	Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore	Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ke Shen 0003, Mayank Kejriwal	A Formalism and Approach for Improving Robustness of Large Language Models Using Risk-Adjusted Confidence Scores.	CoRR	2023	DBLP DOI BibTeX RDF
13	Roy Araiza, Jihong Cai, Yushan Chen, Abraham Holtermann, Chieh Hsu, Tushar Mohan, Peixue Wu, Zeyuan Yu	A note on the stabilizer formalism via noncommutative graphs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Dmytro Grytskyy, Jorge Ramírez-Ruiz, Rubén Moreno-Bote	A general Markov decision process formalism for action-state entropy-regularized reward maximization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Gennaro Auricchio, Ruixiao Zhang, Jie Zhang 0008, Xiaohao Cai	A Bilevel Formalism for the Peer-Reviewing Problem.	CoRR	2023	DBLP DOI BibTeX RDF
13	Martijn Gösgens, Remco van der Hofstad, Nelly Litvak	The Projection Method: a Unified Formalism for Community Detection.	CoRR	2023	DBLP DOI BibTeX RDF
13	Antonis Bikakis, Aïssatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller 0002	A Graphical Formalism for Commonsense Reasoning with Recipes.	CoRR	2023	DBLP DOI BibTeX RDF
13	Pierre-Victor Besson, Valérie Viet Triem Tong, Gilles Guette, Guillaume Piolle, Erwan Abgrall	URSID: Using formalism to Refine attack Scenarios for vulnerable Infrastructure Deployment.	CoRR	2023	DBLP DOI BibTeX RDF
13	Sid Ijju	A Markovian Formalism for Active Querying.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tianyi Sun, Andrew Hands, Risi Kondor	P-tensors: a General Formalism for Constructing Higher Order Message Passing Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Damien Pellier, Alexandre Albore, Humbert Fiorino, Rafael Bailon-Ruiz	HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Johan Arcile, Étienne André	Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
13	Tianlin Ying, Anthony N. Burkitt, Tatiana Kameneva	Combining the neural mass model and Hodgkin-Huxley formalism: Neuronal dynamics modelling.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
13	Filip Strubbe	Nonlocality, Superposition, and Time in the 4+1 Formalism.	Entropy	2023	DBLP DOI BibTeX RDF
13	Yufeng Liu, Fan Yang, Jian Liu	Graph Grammar Formalism with Multigranularity for Spatial Graphs.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
13	PLOS Computational Biology Staff	Correction: Mathematical modeling of the molecular switch of TNFR1-mediated signaling pathways applying Petri net formalism and in silico knockout analysis.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
13	Ali Pazarci, Umut Can Turhan, Nader Ghazanfari, Ilmar Gahramanov	Hamiltonian formalism for nonlinear Schrödinger equations.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
13	Nicholas Chancellor	Modernizing quantum annealing II: genetic algorithms with the inference primitive formalism.	Nat. Comput.	2023	DBLP DOI BibTeX RDF
13	Ikhlef Lyes, Djamil Aïssani, Ouiza Lekadir	Steady state analysis of M/G/1 retrial queue with vacation and server timeout using a Petri net formalism.	Int. J. Math. Oper. Res.	2023	DBLP DOI BibTeX RDF
13	Samir Tigane, Fayçal Guerrouf, Laïd Kahloul	A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs.	Computing	2023	DBLP DOI BibTeX RDF
13	Ismail A. Mageed	The Consistency Axioms of The Stable M/G/1 Queue's Za, b Non-Extensive Maximum Entropy Formalism with M/G/1 Theory Applications to 6G Networks and Multimedia Applications.	ICCA	2023	DBLP DOI BibTeX RDF
13	Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli	Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.	MEMOCODE	2023	DBLP BibTeX RDF
13	Rakesh Sengupta, Surampudi Bapi Raju, Anindya Pattanayak	Exploring Emergent Properties of Recurrent Neural Networks Using a Novel Energy Function Formalism.	LOD (1)	2023	DBLP DOI BibTeX RDF
13	Jurgen J. Vinju	Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint.	Eelco Visser Commemorative Symposium	2023	DBLP DOI BibTeX RDF
13	Ismail A. Mageed, Xin Yin, Yefeng Liu, Qichun Zhang	$\mathbb{Z}_{a, b}$ of the Stable Five-Dimensional $M/G/1$ Queue Manifold Formalism's Info- Geometric Structure with Potential Info-Geometric Applications to Human Computer Collaborations and Digital Twins.	ICAC	2023	DBLP DOI BibTeX RDF
13	Alvi Jawad, Cristina Ruiz Martin, Gabriel A. Wainer	Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism.	WSC	2023	DBLP DOI BibTeX RDF
13	Claudio E. Ponce Saldias, Daniel Alejandro Ponce Saldias	A Didactic Approach to Energy-Based Dynamic Modeling: Least Action, D'Alembert Principle and Euler-Lagrange Formalism.	CLAWAR (1)	2023	DBLP DOI BibTeX RDF
13	Dmitriy Klyushin	New Formalism for Statistical Similarity Based XAI.	IT&I	2023	DBLP BibTeX RDF
13	Gennaro Auricchio, Ruixiao Zhang, Jie Zhang 0008, Xiaohao Cai	A Bilevel Formalism for the Peer-Reviewing Problem.	ECAI	2023	DBLP DOI BibTeX RDF
13	Adam Lion-Bouton, Agata Savary, Jean-Yves Antoine	A MWE lexicon formalism optimised for observational adequacy.	MWE@EACL	2023	DBLP DOI BibTeX RDF
13	Jeongsik Kim, Woo-Sung Jung, Namhun Kim	Study on Modeling Formalism and Co-simulation for the System-level Test of Maritime Components.	ICTC	2023	DBLP DOI BibTeX RDF
13	Sebastiano Corli, Daniele Dragoni, Massimiliano Proietti, Massimiliano Dispenza, Carlo Cavazzoni, Enrico Prati	A Max K-Cut Implementation for QAOA in the Measurement Based Quantum Computing Formalism.	QCE	2023	DBLP DOI BibTeX RDF
13	Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi	RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.	VORTEX@ISSTA	2023	DBLP DOI BibTeX RDF
13	Jamy Chahal, Assia Belbachir, Amal El Fallah Seghrouchni	Dynamic Interest Points: A Formalism to Identify Areas to Patrol within a Continuous Environment.	HICSS	2023	DBLP BibTeX RDF
13	Hans Georg Schaathun, Ben David Normann, Einar Leite Austnes, Simon Ingebrigtsen, Sondre Westbo Remoy, Simon Nedreberg Runde	Simulation Of Gravitational Lensing In The Roulette Formalism.	ECMS	2023	DBLP DOI BibTeX RDF
13	Aleksander Jablonski	Analytical formalism for calculations of parameters needed for quantitative analysis by X-ray photoelectron spectroscopy.	Comput. Phys. Commun.	2022	DBLP DOI BibTeX RDF
13	Sheng-Chun Kao, Hyoukjun Kwon, Michael Pellauer, Angshuman Parashar, Tushar Krishna	A Formalism of DNN Accelerator Flexibility.	Proc. ACM Meas. Anal. Comput. Syst.	2022	DBLP DOI BibTeX RDF
13	Pengfei Wan, Yuanlong Weng, Jingwei Xu 0002, Guisheng Liao	Range Gate Pull-Off Mainlobe Jamming Suppression Approach with FDA-MIMO Radar: Theoretical Formalism and Numerical Study.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Jean-Michel Simonin, Jean-Michel Piau, Vinciane Le-Boursicault, Murilo Freitas	Orthogonal Set of Indicators for the Assessment of Flexible Pavement Stiffness from Deflection Monitoring: Theoretical Formalism and Numerical Study.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Guoda Xie, Ziheng Song, Guilin Hou, Ming Fang, Naixing Feng, Zhixiang Huang	Efficacious GPR Implementations of Z-Transform-Based Hybrid LOD-FDTD with Subgridding Scheme: Theoretical Formalism and Numerical Study.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Mikhail V. Belikovich, Dmitriy S. Makarov, Evgeny A. Serov, Mikhail Yu. Kulikov, Alexander M. Feigin	Validation of Atmospheric Absorption Models within the 20-60 GHz Band by Simultaneous Radiosonde and Microwave Observations: The Advantage of Using ECS Formalism.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	María Julia Blas, Horacio Pascual Leone, Silvio Gonnet	DEVS-based formalism for the modeling of routing processes.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
13	Jang Won Bae, Il-Chul Moon	Practical Formalism-Based Approaches for Multi-Resolution Modeling and Simulation.	Syst.	2022	DBLP DOI BibTeX RDF
13	Moez Ben Abid, Mourad Ben Slimane, Ines Ben Omrane, Maamoun Turkawi	Multivariate wavelet leaders Rényi dimension and multifractal formalism in mixed Besov spaces.	Int. J. Wavelets Multiresolution Inf. Process.	2022	DBLP DOI BibTeX RDF
13	Ramin Sabry	A Quantum-State-Based Change Formalism for Radar Sensing and Potential Applications for Dual and Compact Polarimetric SAR.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
13	Denis Sh. Sabirov, Alina A. Tukhbatullina, Igor S. Shepelevich	Digitalizing Structure-Symmetry Relations at the Formation of Endofullerenes in Terms of Information Entropy Formalism.	Symmetry	2022	DBLP DOI BibTeX RDF
13	Siu A. Chin, Durward Cator	The anatomy of Boris type solvers and the Lie operator formalism for deriving large time-step magnetic field integrators.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF