Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Guillaume Oger, Salvatore Marrone, David Le Touzé, Matthieu De Leffe	SPH accuracy improvement through the combination of a quasi-Lagrangian shifting transport velocity and consistent ALE formalisms.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
17	Anjali Sardesai, Vilas S. Kharat, Pradip Sambarey, Ashok Deshpande	Fuzzy Logic-Based Formalisms for Gynecology Disease Diagnosis.	J. Intell. Syst.	2016	DBLP BibTeX RDF
17	Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce	An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems.	CoRR	2016	DBLP BibTeX RDF
17	Frank J. Poelwijk, Vinod Krishna, Rama Ranganathan	The Context-Dependence of Mutations: A Linkage of Formalisms.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
17	Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin	Layered Data: A Modular Formal Definition without Formalisms.	PNSE @ Petri Nets	2016	DBLP BibTeX RDF
17	Mariam Ben Hassen, Mohamed Turki, Faïez Gargouri	Sensitive Business Processes Representation: A Multi-dimensional Comparative Analysis of Business Process Modeling Formalisms.	BMSD	2016	DBLP DOI BibTeX RDF
17	Andrew Lamont, Jonathan North Washington	Phylogenetic simulations over constraint-based grammar formalisms.	SRW@HLT-NAACL	2016	DBLP DOI BibTeX RDF
17	David P. Y. Lawrence, Cláudio Gomes 0001, Joachim Denil, Hans Vangheluwe, Didier Buchs	Coupling petri nets with deterministic formalisms using co-simulation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
17	Agata Ciabattoni, Francesco A. Genco	Embedding formalisms: hypersequents and two-level systems of rule.	Advances in Modal Logic	2016	DBLP BibTeX RDF
17	Ringo Baumann, Hannes Strass	An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.	KR	2016	DBLP BibTeX RDF
17	Marzouk Mamou, Alan L. Rector, Stefan Schulz 0001, James R. Campbell 0001, Harold R. Solbrig, Jean Marie Rodrigues	Representing ICD-11 JLMMS Using IHTSDO Representation Formalisms.	MIE	2016	DBLP DOI BibTeX RDF
17	Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo	Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.	ICAPS	2016	DBLP BibTeX RDF
17	David Chiang 0001, Alexander Koller (eds.)	Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), June 29 - July 1, 2016, Heinrich Heine University, Düsseldorf, Germany	TAG	2016	DBLP BibTeX RDF
17	Afef Awadid, Selmin Nurcan	Towards enhancing business process modeling formalisms of EKD with consistency consideration.	RCIS	2016	DBLP DOI BibTeX RDF
17	Shozo Mori, Chee-Yee Chong, Kuo-Chu Chang	Three formalisms of multiple hypothesis tracking.	FUSION	2016	DBLP BibTeX RDF
17	Kangfeng Ye	Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).		2016	RDF
17	Pasquale Bove	Methodologies & formalisms for modeling macroscopic biological problems.		2016	RDF
17	John Torr, Edward P. Stabler	Coordination in Minimalist Grammars: Excorporation and Across the Board (Head) Movement.	TAG	2016	DBLP BibTeX RDF
17	Chérifa Ben Khelil, Denys Duchier, Yannick Parmentier 0001, Chiraz Ben Othmane Zribi, Fériel Ben Fraj	ArabTAG: from a Handcrafted to a Semi-automatically Generated TAG.	TAG	2016	DBLP BibTeX RDF
17	Kata Balogh	Verbal fields in Hungarian simple sentences and infinitival clausal complements.	TAG	2016	DBLP BibTeX RDF
17	Wonchang Chung, Suhas Siddhesh Mhatre, Alexis Nasr, Owen Rambow, Srinivas Bangalore	Revisiting Supertagging and Parsing: How to Use Supertags in Transition-Based Parsing.	TAG	2016	DBLP BibTeX RDF
17	Rose Sloan	Node-based Induction of Tree-Substitution Grammars.	TAG	2016	DBLP BibTeX RDF
17	Timothée Bernard, Laurence Danlos	Modelling Discourse in STAG: Subordinate Conjunctions and Attributing Phrases.	TAG	2016	DBLP BibTeX RDF
17	Daniel Bauer 0002, Owen Rambow	Hyperedge Replacement and Nonprojective Dependency Structures.	TAG	2016	DBLP BibTeX RDF
17	Dennis Ryan Storoshenko, Robert Frank	Parasitic Gaps and the Heterogeneity of Dependency Formation in STAG.	TAG	2016	DBLP BibTeX RDF
17	Aniello De Santo, Alëna Aksënova, Thomas Graf	An Alternate View on Strong Lexicalization in TAG.	TAG	2016	DBLP BibTeX RDF
17	Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean	Argument linking in LTAG: A constraint-based implementation with XMG.	TAG	2016	DBLP BibTeX RDF
17	Dennis Ryan Storoshenko	Modelling the ziji Blocking Effect and Constraining Bound Variable Derivations in MC-TAG with Delayed Locality.	TAG	2016	DBLP BibTeX RDF
17	Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla	Interfacing Sentential and Discourse TAG-based Grammars.	TAG	2016	DBLP BibTeX RDF
17	Ernst W. Mayr, Jeremias Weihmann	Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
17	Bartosz Kryza, Jacek Kitowski	Comparison of Information Representation Formalisms for Scalable File Agnostic Information Infrastructures.	Comput. Informatics	2015	DBLP BibTeX RDF
17	Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli, Yangang Wang	A survey of Semantic Web Services formalisms.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
17	Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck	Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
17	Calin Ciufudean, Constantin Filote, Valentin Vlad	Transductional Holonic Formalisms for Control Systems Applications.	Trans. Mach. Learn. Data Min.	2015	DBLP BibTeX RDF
17	Anita Alicante, Cristina Bosco, Anna Corazza, Alberto Lavelli	Evaluating Italian Parsing Across Syntactic Formalisms and Annotation Schemes.	Italian Natural Language Processing within the PARLI Project	2015	DBLP DOI BibTeX RDF
17	Thouraya Bouabana-Tebibel, Stuart H. Rubin (eds.)	Formalisms for Reuse and Systems Integration		2015	DBLP DOI BibTeX RDF
17	Michael Jackson 0001	System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems.	Dependable Software Systems Engineering	2015	DBLP DOI BibTeX RDF
17	Ivan Jureta	The Design of Requirements Modelling Languages - How to Make Formalisms for Problem Solving in Requirements Engineering		2015	DOI RDF
17	Stavros Tripakis	Bridging the semantic gap between heterogeneous modeling formalisms and FMI.	SAMOS	2015	DBLP DOI BibTeX RDF
17	Joachim Denil, Bart Meyers, Paul De Meulenaere, Hans Vangheluwe	Explicit semantic adaptation of hybrid formalisms for FMI co-simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
17	Michael J. Maher	Relating Concrete Argumentation Formalisms and Abstract Argumentation.	ICLP (Technical Communications)	2015	DBLP BibTeX RDF
17	Christopher R. Fisher, Matthew M. Walsh, Leslie M. Blaha, Glenn Gunzelmann	ACT-R and LBA Model Mimicry Reveals Similarity Across Modeling Formalisms.	CogSci	2015	DBLP BibTeX RDF
17	Didier Dubois, Henri Prade, Agnès Rico	The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms.	IJCAI	2015	DBLP BibTeX RDF
17	Vikas Shivashankar	Hierarchical Goal Networks: Formalisms and Algorithms for Planning and Acting.		2015	RDF
17	Jan Oliver Wallgrün, Jinlong Yang 0004, Alexander Klippel	Cognitive Evaluation of Spatial Formalisms: Intuitive Granularities of Overlap Relations.	Int. J. Cogn. Informatics Nat. Intell.	2014	DBLP DOI BibTeX RDF
17	Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán	Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201).	Dagstuhl Reports	2014	DBLP DOI BibTeX RDF
17	Xuesong Liu, Burcu Akinci, Mario Bergés, James H. Garrett Jr.	Domain-Specific Querying Formalisms for Retrieving Information about HVAC Systems.	J. Comput. Civ. Eng.	2014	DBLP DOI BibTeX RDF
17	Alexander M. Elizarov, Alexander Kirillovich, Evgeny K. Lipachev, Olga Nevzorova, Valery D. Solovyev, Nikita Zhiltsov	Mathematical Knowledge Representation: Semantic Models and Formalisms.	CoRR	2014	DBLP BibTeX RDF
17	Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara	On Formalisms for Dynamic Reconfiguration of Dependable Systems.	CoRR	2014	DBLP BibTeX RDF
17	Rina Foygel Barber, John C. Duchi	Privacy and Statistical Risk: Formalisms and Minimax Bounds.	CoRR	2014	DBLP BibTeX RDF
17	George Okeyo, Liming Chen 0001, Hui Wang 0001	Combining ontological and temporal formalisms for composite activity modelling and recognition in smart homes.	Future Gener. Comput. Syst.	2014	DBLP DOI BibTeX RDF
17	Jacques-Eric Bergez, Hélène Raynal, Marie Launay, Nicolas Beaudoin, Éric Casellas, J. Caubel, Patrick Chabrier, Elsa Coucheney, Jérôme Dury, Iñaki García de Cortázar-Atauri, Eric Justes, Bruno Mary, Dominique Ripoche, Françoise Ruget	Evolution of the STICS crop model to tackle new environmental issues: New formalisms and integration in the modelling and simulation platform RECORD.	Environ. Model. Softw.	2014	DBLP DOI BibTeX RDF
17	Adnan Darwiche	Tractable Knowledge Representation Formalisms.	Tractability	2014	DBLP DOI BibTeX RDF
17	Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang 0006	From visual to logical formalisms for SoC validation.	MEMOCODE	2014	DBLP DOI BibTeX RDF
17	José L. Besada	Computer, Formalisms, Intuition and Metaphors. A Xenakian and Post-Xenakian Approach.	ICMC	2014	DBLP BibTeX RDF
17	Jindrich Vodrázka, Roman Barták	On Modeling Formalisms for Automated Planning.	AIMSA	2014	DBLP DOI BibTeX RDF
17	Maria Kalinina, Aron Larsson, David Sundgren	On the Compatibility of Uncertainty Formalisms in Multi-Objective Optimization.	IDT/IIMSS/STET	2014	DBLP DOI BibTeX RDF
17	Evgeny Erofeev	Formalisms for concurrency and distribution.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
17	Hejia Pan, Bryan A. Jones	Evaluation of rotation formalisms in three dimensions using a Lissajous knot.	SSD	2014	DBLP DOI BibTeX RDF
17	Stanislawa Kluska-Nawarecka, Dorota Wilk-Kolodziejczyk, Krzysztof Regulski	Formalisms and Tools for Knowledge Integration Using Relational Databases.	Trans. Comput. Collect. Intell.	2013	DBLP DOI BibTeX RDF
17	Abbas Eslami Kiasari, Axel Jantsch, Zhonghai Lu	Mathematical formalisms for performance evaluation of networks-on-chip.	ACM Comput. Surv.	2013	DBLP DOI BibTeX RDF
17	Claudine Chaouiya, Duncan Bérenguier, Sarah M. Keating, Aurélien Naldi, Martijn P. van Iersel, Nicolas Rodriguez 0001, Andreas Dräger, Finja Büchel, Thomas Cokelaer, Bryan M. Kowal, Benjamin Wicks, Emanuel J. V. Gonçalves, Julien Dorier, Michel Page, Pedro T. Monteiro 0001, Axel von Kamp, Ioannis Xenarios, Hidde de Jong, Michael Hucka, Steffen Klamt, Denis Thieffry, Nicolas Le Novère, Julio Saez-Rodriguez, Tomás Helikar	SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.	BMC Syst. Biol.	2013	DBLP DOI BibTeX RDF
17	Madalena Chaves	Predictive analysis of dynamical systems: combining discrete and continuous formalisms.		2013	RDF
17	Sébastien Lallé, Jack Mostow, Vanda Luengo, Nathalie Guin	Comparing Student Models in Different Formalisms by Predicting Their Impact on Help Success.	AIED	2013	DBLP DOI BibTeX RDF
17	Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci	A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.	ICFEM	2013	DBLP DOI BibTeX RDF
17	Norbert Giambiasi	Hierarchy of Discrete Event Formalisms.	SIMULTECH	2013	DBLP BibTeX RDF
17	Gabriel A. Wainer, Misagh Tavanpour, Emilie Broutin	Application of the DEVS and Cell-DEVS formalisms for modeling networking applications.	WSC	2013	DBLP DOI BibTeX RDF
17	Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli	A Survey of Semantic Web Services Formalisms.	SKG	2013	DBLP DOI BibTeX RDF
17	Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry	Polyglot: Systematic Analysis for Multiple Statechart Formalisms.	TACAS	2013	DBLP DOI BibTeX RDF
17	Zeljko Agic, Danijela Merkler	Three Syntactic Formalisms for Data-Driven Dependency Parsing of Croatian.	TSD	2013	DBLP DOI BibTeX RDF
17	Sotiria Lampoudi, Eric Saunders	Telescope Network Scheduling - Rationale and Formalisms.	ICORES	2013	DBLP DOI BibTeX RDF
17	Wenchao Li 0001	Specification Mining: New Formalisms, Algorithms and Applications.		2013	RDF
17	Maxime Lefrançois, Fabien Gandon	ILexicOn: toward an ECD-compliant interlingual lexical ontology described with semantic web formalisms	CoRR	2012	DBLP BibTeX RDF
17	Nisheeth Joshi, Iti Mathur	Evaluation of Computational Grammar Formalisms for Indian Languages	CoRR	2012	DBLP BibTeX RDF
17	Sung-Shik T. Q. Jongmans, Farhad Arbab	Overview of Thirty Semantic Formalisms for Reo.	Sci. Ann. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Claudia A. López, Víctor Codocedo, Hernán Astudillo, Luiz Marcio Cysneiros	Bridging the gap between software architecture rationale formalisms and actual architecture documents: An ontology-driven approach.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
17	Camille Terfve, Thomas Cokelaer, David Henriques, Aidan MacNamara, Emanuel J. V. Gonçalves, Melody K. Morris, Martijn P. van Iersel, Douglas A. Lauffenburger, Julio Saez-Rodriguez	CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms.	BMC Syst. Biol.	2012	DBLP DOI BibTeX RDF
17	François Pinet	Entity-relationship and object-oriented formalisms for modeling spatial environmental data.	Environ. Model. Softw.	2012	DBLP DOI BibTeX RDF
17	Cornelis Huizing, Ruurd Kuiper 0001, Tom Verhoeff	Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms.	Turing-100	2012	DBLP DOI BibTeX RDF
17	Alexey Potapov, Maxim Peterson	A Representational MDL Framework for Improving Learning Power of Neural Network Formalisms.	AIAI (1)	2012	DBLP DOI BibTeX RDF
17	Jedrzej Osinski	Extended CDC vs Other Formalisms - The Comperative Analysis of the Models for Spatio-temporal Reasoning.	ICAISC (2)	2012	DBLP DOI BibTeX RDF
17	Karin Verspoor, Kevin M. Livingston	Towards Adaptation of Linguistic Annotations to Scholarly Annotation Formalisms on the Semantic Web.	LAW@ACL	2012	DBLP BibTeX RDF
17	David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren	Viewpoints, formalisms, languages, and tools for cyber-physical systems.	MPM@MoDELS	2012	DBLP DOI BibTeX RDF
17	Michael Jackson 0001	Formalisms and structures.	FormSERA@ICSE	2012	DBLP DOI BibTeX RDF
17	Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski	Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.	Description Logics	2012	DBLP BibTeX RDF
17	Giorgio Satta, Chung-Hye Han (eds.)	Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms, TAG+ 2012, Paris, France, September 26-28, 2012	TAG	2012	DBLP BibTeX RDF
17	Pierre Bourreau, Laura Kallmeyer, Sylvain Salvati	On IO-Copying and Mildly-Context Sensitive Formalisms.	FG	2012	DBLP DOI BibTeX RDF
17	Emmanuel Schang, Denys Duchier, Brunelle Magnana Ekoukou, Yannick Parmentier 0001, Simon Petitjean	Describing São Tomense Using a Tree-Adjoining Meta-Grammar.	TAG	2012	DBLP BibTeX RDF
17	Johannes Osterholzer, Torsten Stüber	State-Split for Hypergraphs with an Application to Tree Adjoining Grammars.	TAG	2012	DBLP BibTeX RDF
17	Thomas Graf, Natasha Abner	Is Syntactic Binding Rational?	TAG	2012	DBLP BibTeX RDF
17	Dennis Ryan Storoshenko, Robert Frank	Deriving syntax-semantics mappings: node linking, type shifting and scope ambiguity.	TAG	2012	DBLP BibTeX RDF
17	Vera Demberg	Incremental Derivations in CCG.	TAG	2012	DBLP BibTeX RDF
17	Joan Chen-Main, Tonia Bleam, Aravind K. Joshi	Delayed Tree-Locality, Set-locality, and Clitic Climbing.	TAG	2012	DBLP BibTeX RDF
17	Alexander Koller, Marco Kuhlmann	Decomposing TAG Algorithms Using Simple Algebraizations.	TAG	2012	DBLP BibTeX RDF
17	Asad B. Sayeed, Vera Demberg	Incremental Neo-Davidsonian semantic construction for TAG.	TAG	2012	DBLP BibTeX RDF
17	Peter Ljunglöf	Practical Parsing of Parallel Multiple Context-Free Grammars.	TAG	2012	DBLP BibTeX RDF
17	Corentin Ribeyre, Djamé Seddah, Éric Villemonte de la Clergerie	A linguistically-motivated 2-stage Tree to Graph Transformation.	TAG	2012	DBLP BibTeX RDF
17	Gregory M. Kobele, Jens Michaelis	On the Form-Meaning Relations Definable by CoTAGs.	TAG	2012	DBLP BibTeX RDF
17	Timm Lichte	Synchronous Tree Unification Grammar.	TAG	2012	DBLP BibTeX RDF
17	Smaranda Muresan	Search Space Properties for Learning a Class of Constraint-based Grammars.	TAG	2012	DBLP BibTeX RDF