Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Zhan Shi, Xiaoqin Zeng, Yang Zou, Song Huang, Hui Li, Bin Hu, Yi Yao	A temporal graph grammar formalism.	J. Vis. Lang. Comput.	2018	DBLP DOI BibTeX RDF
13	Luan Carlos de Sena Monteiro Ozelim, André Luís Brasil Cavalcante	The Iota-Delta Function as an Alternative to Boolean Formalism.	Int. J. Found. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Mihai Andries, Ricardo Omar Chávez García, Raja Chatila 0001, Alessandro Giusti, Luca Maria Gambardella	Affordance Equivalences in Robotics: A Formalism.	Frontiers Neurorobotics	2018	DBLP DOI BibTeX RDF
13	Damien Foures, Romain Franceschini, Paul-Antoine Bisgambiglia, Bernard P. Zeigler	multiPDEVS: A Parallel Multicomponent System Specification Formalism.	Complex.	2018	DBLP DOI BibTeX RDF
13	Amir Jafari, Mostafa Einollahzadeh	Tannakian formalism for fiber functors over tensor categories.	Period. Math. Hung.	2018	DBLP DOI BibTeX RDF
13	Ghizlane El Khattabi, Soumia Lahboub, El-Houssine Bouyakhf, Imade Benelallam	Contribution to Modeling Smart Grid Problem with the Constraint Satisfaction Problem Formalism.	MedPRAI	2018	DBLP DOI BibTeX RDF
13	Chengcheng Yu, Fan Xia, Weining Qian	Social Stream Data: Formalism, Properties and Queries.	WISA	2018	DBLP DOI BibTeX RDF
13	Sandro Bimonte, Amir Sakka, Lucile Sautot	A New Methodology for Elicitation of DataWarehouse Requirements based on the Pivot Table Formalism.	EDA	2018	DBLP BibTeX RDF
13	Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang 0001, Xiaoqin Zeng	An Edge-based Graph Grammar Formalism and its Support System.	DMSVIVA	2018	DBLP BibTeX RDF
13	Antoine Dominici, Emmanuelle de Gentili, Laurent Capocchi, Jean François Santucci	Smart-Parking: Integration and data management by modeling and simulation using connected objects according to the DEVS formalism.	UV	2018	DBLP DOI BibTeX RDF
13	Fernando J. Barros	Composition of numerical integrators in the Hyflow Formalism.	WSC	2018	DBLP DOI BibTeX RDF
13	Rhys Goldstein, Simon Breslav, Azam Khan	A Symmetric Formalism for discrete Event simulation with Agents.	WSC	2018	DBLP DOI BibTeX RDF
13	Gabriel A. Wainer, Rhys Goldstein, Azam Khan	Introduction to the discrete Event System Specification Formalism and its Application for Modeling and simulating Cyber-Physical Systems.	WSC	2018	DBLP DOI BibTeX RDF
13	María Julia Blas, Silvio Miguel Gonnet, Horacio Pascual Leone, Bernard P. Zeigler	A Conceptual Framework to Classify the Extensions of DEVS Formalism as Variants and Subclasses.	WSC	2018	DBLP DOI BibTeX RDF
13	Yufeng Liu, Xiaoqin Zeng, Kang Zhang 0001	Quantitative spatial semantics in a graph grammar formalism.	IWISC	2018	DBLP DOI BibTeX RDF
13	Kesinee Soomanat, Wiwat Vatanawood	Formalism of Stochastic Queueing Network using Stochastic Petri Nets.	SNPD	2018	DBLP DOI BibTeX RDF
13	Davide Ancona, Francesco Dagnino, Luca Franceschini	A formalism for specification of Java API interfaces.	ISSTA/ECOOP Workshops	2018	DBLP DOI BibTeX RDF
13	Bálint Molnár, Dóra Ori	Towards a Hypergraph-Based Formalism for Enterprise Architecture Representation to Lead Digital Transformation.	ADBIS (Short Papers and Workshops)	2018	DBLP DOI BibTeX RDF
13	Lavindra de Silva	HTN Acting: A Formalism and an Algorithm.	AAMAS	2018	DBLP BibTeX RDF
13	Andrea Calì, Martín Ugarte	On the Complexity of Query Answering under Access Limitations: A Computational Formalism.	AMW	2018	DBLP BibTeX RDF
13	Kobkaew Opasjumruskit	Cross-formalism resource discovery in smart environments.		2018	RDF
13	Souad Kherroubi	Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes: application au formalisme Event-B. (A formal framework to integrate domain knowledge into system design: Application to Event-B formalism).		2018	RDF
13	Donghua Shi, Yakov Berchenko-Kogan, Dmitry V. Zenkov, Anthony M. Bloch	Hamel's Formalism for Infinite-Dimensional Mechanical Systems.	J. Nonlinear Sci.	2017	DBLP DOI BibTeX RDF
13	Abdelbar Nasri, Rachid Benslimane	Parametric Shape Grammar Formalism for Moorish Geometric Design Analysis and Generation.	ACM Journal on Computing and Cultural Heritage	2017	DBLP DOI BibTeX RDF
13	Ayoub Ait Lahcen, Didier Parigot, Salma Mouline	Data-Dependency Formalism for Developing Peer-to-Peer Applications.	Comput. Informatics	2017	DBLP DOI BibTeX RDF
13	Dániel Urbán, Gergely Mezei, Zoltán Theisz	Formalism for Static Aspects of Dynamic Metamodeling.	Period. Polytech. Electr. Eng. Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Sara Negri	Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results.	FLAP	2017	DBLP BibTeX RDF
13	Sara Negri	Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".	FLAP	2017	DBLP BibTeX RDF
13	Sudipta Kumar Sinha, Mohit Mehta, Sandeep Patel	A charge equilibration formalism for treating charge transfer effects in MD simulations: Application to water clusters.	J. Comput. Chem.	2017	DBLP DOI BibTeX RDF
13	Daniele Codetta Raiteri, Luigi Portinale	Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems.	Reliab. Eng. Syst. Saf.	2017	DBLP DOI BibTeX RDF
13	Fabian Teichert, Andreas Zienert, Jörg Schuster, Michael Schreiber	Improved recursive Green's function formalism for quasi one-dimensional systems with realistic defects.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
13	Eric J. Parish, Karthik Duraisamy	A dynamic subgrid scale model for Large Eddy Simulations based on the Mori-Zwanzig formalism.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
13	Guodong Shao, Alexander Brodsky 0001, Seung-Jun Shin, Duck Bong Kim	Decision guidance methodology for sustainable manufacturing using process analytics formalism.	J. Intell. Manuf.	2017	DBLP DOI BibTeX RDF
13	Stefan S. Groothuis, Stefano Stramigioli, Raffaella Carloni	Modeling Robotic Manipulators Powered by Variable Stiffness Actuators: A Graph-Theoretic and Port-Hamiltonian Formalism.	IEEE Trans. Robotics	2017	DBLP DOI BibTeX RDF
13	Vladimir A. Fomichov	SK-languages as a Powerful and Flexible Semantic Formalism for the Systems of Cross-Lingual Intelligent Information Access.	Informatica (Slovenia)	2017	DBLP BibTeX RDF
13	Kangfeng Ye, Jim Woodcock 0001	Model checking of state-rich formalism Circus by linking to CSP ‖ B.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
13	Vladimir M. Itsykson	Formalism and Language Tools for Specification of the Semantics of Software Libraries.	Autom. Control. Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Eugene A. Golikov, Vlad Zhukov, Maksim Kretov	Using stochastic computation graphs formalism for optimization of sequence-to-sequence model.	CoRR	2017	DBLP BibTeX RDF
13	Wiktor B. Daszczuk	Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2.	CoRR	2017	DBLP BibTeX RDF
13	Tomas Veloz, Pablo Razeto	The state context property formalism: from concept theory to the semantics of music.	Soft Comput.	2017	DBLP DOI BibTeX RDF
13	Sandro Sozzo	Effectiveness of the quantum-mechanical formalism in cognitive modeling.	Soft Comput.	2017	DBLP DOI BibTeX RDF
13	Ervin K. Lenzi, Luciano R. da Silva, Marcelo K. Lenzi, Maike A. F. dos Santos, Haroldo V. Ribeiro, Luiz R. Evangelista	Intermittent Motion, Nonlinear Diffusion Equation and Tsallis Formalism.	Entropy	2017	DBLP DOI BibTeX RDF
13	Juan Ignacio Latorre Biel, Mercedes Pérez de la Parte, Emilio Jiménez Macías	Enriching the formalism of coloured Petri nets for modelling alternative structural configurations of a discrete event system: disjunctive CPN.	Int. J. Simul. Process. Model.	2017	DBLP DOI BibTeX RDF
13	Chi Zhang, Zhiqiu Huang, Zewen Ding	支持抽象解释的静态分析方法的形式化体系研究 (Research on Static Analysis Formalism Supporting Abstract Interpretation).	计算机科学	2017	DBLP DOI BibTeX RDF
13	Wiktor B. Daszczuk	Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.	Comput. J.	2017	DBLP DOI BibTeX RDF
13	Joseph Schuchart, Michael Gerndt, Per Gunnar Kjeldsberg, Michael Lysaght, David Horák, Lubomír Ríha, Andreas Gocht, Mohammed Sourouri, Madhura Kumaraswamy, Anamika Chowdhury, Magnus Jahre, Kai Diethelm, Othman Bouizi, Umbreen Sabir Mian, Jakub Kruzík, Radim Sojka, Martin Beseda, Venkatesh Kannan, Zakaria Bendifallah, Daniel Hackenberg, Wolfgang E. Nagel	The READEX formalism for automatic tuning for energy efficiency.	Computing	2017	DBLP DOI BibTeX RDF
13	Matthew L. Bolton, Ellen J. Bass	Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
13	Biswajit Halder, Mridul Sankar Barik, Chandan Mazumdar	A graph based formalism for detecting flow conflicts in software defined network.	ANTS	2017	DBLP DOI BibTeX RDF
13	Assaf Marron	A reactive specification formalism for enhancing system development, analysis and adaptivity.	MEMOCODE	2017	DBLP DOI BibTeX RDF
13	Sharmin Nilufar, Dao Sen Wang, John Girgis, Carmen G. Palii, D. Yang, A. Blais, M. Brand, Doina Precup, Theodore J. Perkins	Learning-based interactive segmentation using the maximum mean cycle weight formalism.	Medical Imaging: Image Processing	2017	DBLP DOI BibTeX RDF
13	Wiktor B. Daszczuk, Wlodek M. Zuberek	Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.	DepCoS-RELCOMEX	2017	DBLP DOI BibTeX RDF
13	Jordi Cortadella, Alberto Moreno, Danil Sokolov, Alex Yakovlev, David Lloyd	Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours.	ASYNC	2017	DBLP DOI BibTeX RDF
13	Sergej Celikovský, Milan Anderle	Collocated virtual holonomic constraints in hamiltonian formalism and their application in the underactuated walking.	ASCC	2017	DBLP DOI BibTeX RDF
13	Claus Ballegaard Nielsen	Applying the VDM formalism across systems engineering lifecycles.	SysCon	2017	DBLP DOI BibTeX RDF
13	Fernando J. Barros	Chattering avoidance in hybrid simulation models: a modular approach based on the HyFlow formalism.	SpringSim (TMS)	2017	DBLP BibTeX RDF
13	Daniel Soares, Francisco Nogueira, Leonel F. de Alencar	A Implementação de uma Minigramática do Português Brasileiro sob a Perspectiva da LFG (Implementation of a grammar fragment of Brazilian Portuguese in the Lexical-Functional Grammar formalism)[In Portuguese].	STIL	2017	DBLP BibTeX RDF
13	Celine Kessler, Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler	Hierarchical Markov decision process based on DEVS formalism.	WSC	2017	DBLP DOI BibTeX RDF
13	Fernando J. Barros	Towards a universal formalism for modeling & simulation.	WSC	2017	DBLP DOI BibTeX RDF
13	Afef Awadid, Selmin Nurcan, Sonia Ayachi Ghannouchi	Towards a Decision-Support System for Selecting the Appropriate Business Process Modeling Formalism: A Context-Aware Roadmap.	BPMDS/EMMSAD@CAiSE	2017	DBLP DOI BibTeX RDF
13	Pedro Henrique Ferreira Machado, Luiz Edival de Souza, Jean-Claude Maun	Long-Term Reliability Analysis of a Microgrid on Isolated Mode Using CPN Formalism.	PAAMS (Special Sessions)	2017	DBLP DOI BibTeX RDF
13	Tomás Pevný, Petr Somol	Using Neural Network Formalism to Solve Multiple-Instance Problems.	ISNN (1)	2017	DBLP DOI BibTeX RDF
13	Erik Miehling, Mohammad Rasouli 0001, Demosthenis Teneketzis	A dependency graph formalism for the dynamic defense of cyber networks.	GlobalSIP	2017	DBLP DOI BibTeX RDF
13	Raquel Almeida 0001, Benjamin Bustos, Zenilton Kleber G. do Patrocínio Jr., Silvio Jamil Ferzoli Guimarães	Human Action Classification Using an Extended BoW Formalism.	ICIAP (1)	2017	DBLP DOI BibTeX RDF
13	Étienne André	A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
13	Norihiro Kamide	Phase Semantics for Multilattice Formalism.	ISMVL	2017	DBLP DOI BibTeX RDF
13	Edilson Rodrigues, Brandon Bennet	Formalism for Treatment of the Ambiguity in Front/Back Axis Expressions.	AAAI Fall Symposia	2017	DBLP BibTeX RDF
13	Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron	Toward a formalism to study the scheduling of cyber-physical systems simulations.	DS-RT	2017	DBLP DOI BibTeX RDF
13	Ramtin Aryan, Anis Yazidi, Paal Einar Engelstad, Øivind Kure	A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.	LCN	2017	DBLP DOI BibTeX RDF
13	Ishak Riali, Messaouda Fareh, Hafida Bouarfa	FzMEBN: Toward a General Formalism of Fuzzy Multi-Entity Bayesian Networks for Representing and Reasoning with Uncertain Knowledge.	ICEIS (1)	2017	DBLP DOI BibTeX RDF
13	Rishi Nalin Kumar	Towards an information formalism in group decision making systems with incomplete information.		2017	RDF
13	Anna Gogolinska, Rafal Jakubowski, Wieslaw Nowak	Petri nets formalism facilitates analysis of complex biomolecular structural data.	RAIRO Oper. Res.	2016	DBLP DOI BibTeX RDF
13	Joan Carles Micó, Antonio Caselles, David Soler, Pantaleón D. Romero	Formalism for discrete multidimensional dynamic systems.	Kybernetes	2016	DBLP DOI BibTeX RDF
13	Masayuki Sato, Yasuhiro Shimizu	Generalization of log-aesthetic curves by Hamiltonian formalism.	JSIAM Lett.	2016	DBLP DOI BibTeX RDF
13	Carlos Baladrón, Andrei Yu. Khrennikov	Quantum formalism as an optimisation procedure of information flows for physical and biological systems.	Biosyst.	2016	DBLP DOI BibTeX RDF
13	Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez	Semantic Formalism for Modelling the Group Interaction.	Res. Comput. Sci.	2016	DBLP BibTeX RDF
13	Souad Bouaicha, Zizette Boufaïda 0001	SWRLx: A New Formalism for Hybrid Ontology Reasoning.	Int. J. Intell. Inf. Technol.	2016	DBLP DOI BibTeX RDF
13	Thomas Mädler, Jeffrey Winicour	Bondi-Sachs Formalism.	Scholarpedia	2016	DBLP DOI BibTeX RDF
13	Darko Stosic, Dusan Stosic, Teresa Bernarda Ludermir, Borko D. Stosic, Milorad V. Milosevic	GPU-advanced 3D electromagnetic simulations of superconductors in the Ginzburg-Landau formalism.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
13	Tony Austin, Shanghua Sun, Nathan Lea, Yin Su Lim, Archana Tapuria, David Nguyen, Dipak Kalra	Patterns: a simple but expressive data modelling formalism.	Int. J. Knowl. Eng. Data Min.	2016	DBLP DOI BibTeX RDF
13	Mourad Loukam, Amar Balla, Mohamed Tayeb Laskri	Towards an open platform based on HPSG formalism for the standard Arabic language.	Int. J. Speech Technol.	2016	DBLP DOI BibTeX RDF
13	Jang Won Bae, Il-Chul Moon	LDEF Formalism for Agent-Based Model Development.	IEEE Trans. Syst. Man Cybern. Syst.	2016	DBLP DOI BibTeX RDF
13	Alexander Brodsky 0001, Guodong Shao, Frank Riddick	Process analytics formalism for decision guidance in sustainable manufacturing.	J. Intell. Manuf.	2016	DBLP DOI BibTeX RDF
13	Adeline Lach, Faïza Boulahya, Laurent André, Arnault Lassin, Mohamed Azaroual, Jean-Paul Serin, Pierre Cézac	Thermal and volumetric properties of complex aqueous electrolyte solutions using the Pitzer formalism - The PhreeSCALE code.	Comput. Geosci.	2016	DBLP DOI BibTeX RDF
13	Christopher M. Dellin, Siddhartha S. Srinivasa	A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors.	CoRR	2016	DBLP BibTeX RDF
13	Tomás Pevný, Petr Somol	Using Neural Network Formalism to Solve Multiple-Instance Problems.	CoRR	2016	DBLP BibTeX RDF
13	David J. Galas, Nikita A. Sakhanenko	Unifying formalism for multivariate information-related measures: Möbius operators on subset lattices.	CoRR	2016	DBLP BibTeX RDF
13	Vijay Krishna Menon, S. Rajendran, M. Anand Kumar, K. P. Soman	A new TAG Formalism for Tamil and Parser Analytics.	CoRR	2016	DBLP BibTeX RDF
13	Magali Bardet, Vlad Dragoi, Ayoub Otmani, Jean-Pierre Tillich	Algebraic Properties of Polar Codes From a New Polynomial Formalism.	CoRR	2016	DBLP BibTeX RDF
13	Rabia Aziza, Amel Borgi, Hayfa Zgaya, Benjamin Guinhouya	SimNCD: An agent-based formalism for the study of noncommunicable diseases.	Eng. Appl. Artif. Intell.	2016	DBLP DOI BibTeX RDF
13	Albert Gatt, François Portet	Multilingual generation of uncertain temporal expressions from data: A study of a possibilistic formalism and its consistency with human subjective evaluations.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
13	Aleix Llusà Serra, Sebastià Vila-Marta, Teresa Escobet Canal	Formalism for a multiresolution time series database model.	Inf. Syst.	2016	DBLP DOI BibTeX RDF
13	Alan Weir	Informal Proof, Formal Proof, Formalism.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
13	Yukihito Suzuki, Masashi Ohnawa	GENERIC formalism and discrete variational derivative method for the two-dimensional vorticity equation.	J. Comput. Appl. Math.	2016	DBLP DOI BibTeX RDF
13	Audun Jøsang	Subjective Logic - A Formalism for Reasoning Under Uncertainty		2016	DOI RDF
13	Todor Stoilov, Krasimira Stoilova	A Self-Optimization Traffic Model by Multilevel Formalism.	Autonomic Road Transport Support Systems	2016	DBLP DOI BibTeX RDF
13	Jürgen Engel, Christian Märtin, Peter Forbrig	A Unified Pattern Specification Formalism to Support User Interface Generation.	HCI (1)	2016	DBLP DOI BibTeX RDF
13	Camille Raymond, Daniel Prun	Extending MBSE methodology and SysML formalism to integrate human considerations.	HCI-Aero	2016	DBLP DOI BibTeX RDF
13	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models.	EPEW	2016	DBLP DOI BibTeX RDF
13	Hélène Evain, Mathieu Rognant, Daniel Alazard, Jean Mignot	Nonlinear dynamic inversion for redundant systems using the EKF formalism.	ACC	2016	DBLP DOI BibTeX RDF
13	Gyorgy Max, Béla Lantos	Hierarchical control system for autonomous vehicles based on robotic formalism.	SACI	2016	DBLP DOI BibTeX RDF