Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Uwe Mönnich	A Logical Characterization of Extended TAGs.	TAG	2012	DBLP BibTeX RDF
17	Michael Freedman	Scope Economy and TAG Locality.	TAG	2012	DBLP BibTeX RDF
17	Thomas Graf	Tree Adjunction as Minimalist Lowering.	TAG	2012	DBLP BibTeX RDF
17	Mark-Jan Nederhof, Heiko Vogler	Synchronous Context-Free Tree Grammars.	TAG	2012	DBLP BibTeX RDF
17	Yulia Zinova, Laura Kallmeyer	A Frame-Based Semantics of Locative Alternation in LTAG.	TAG	2012	DBLP BibTeX RDF
17	Ryo Yoshinaka	An Attempt Towards Learning Semantics: Distributional Learning of IO Context-Free Tree Grammars.	TAG	2012	DBLP BibTeX RDF
17	Joan Chen-Main	Delayed Tree Locality and the Status of Derivation Structure.	TAG	2012	DBLP BibTeX RDF
17	Rajesh Bhatt, Owen Rambow, Fei Xia	Creating a Tree Adjoining Grammar from a Multilayer Treebank.	TAG	2012	DBLP BibTeX RDF
17	Claire Gardent, Laura Perez-Beltrachini	Using FB-LTAG Derivation Trees to Generate Transformation-Based Grammar Exercises.	TAG	2012	DBLP BibTeX RDF
17	Kata Balogh	Representing Focus in LTAG.	TAG	2012	DBLP BibTeX RDF
17	Wolfgang Maier 0001, Miriam Kaeshammer, Laura Kallmeyer	PLCFRS Parsing Revisited: Restricting the Fan-Out to Two.	TAG	2012	DBLP BibTeX RDF
17	Laura Kallmeyer, Marco Kuhlmann	A Formal Model for Plausible Dependencies in Lexicalized Tree Adjoining Grammar.	TAG	2012	DBLP BibTeX RDF
17	Gregory M. Kobele	Idioms and extended transducers.	TAG	2012	DBLP BibTeX RDF
17	Robert Frank, Dennis Ryan Storoshenko	The Shape of Elementary Trees and Scope Possibilities in STAG.	TAG	2012	DBLP BibTeX RDF
17	Philippe de Groote, Sylvain Pogodalla, Carl Pollard	About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar.	Fundam. Informaticae	2011	DBLP DOI BibTeX RDF
17	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Defining Formalisms for Performance Evaluation With SIMTHESys.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
17	Josep Argelich	Max-SAT formalisms with hard and soft constraints.	AI Commun.	2011	DBLP DOI BibTeX RDF
17	Daniele Codetta Raiteri	Integrating several formalisms in order to increase Fault Trees' modeling power.	Reliab. Eng. Syst. Saf.	2011	DBLP DOI BibTeX RDF
17	Laura Bozzelli, Axel Legay, Sophie Pinchinat	Hardness of preorder checking for basic formalisms.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Sietse Overbeek, Patrick van Bommel	Elementary Patterns for Converting Textual and Visual Formalisms based on Set Theory and ORM.	J. Digit. Inf. Manag.	2011	DBLP BibTeX RDF
17	Bernhard Nebel	On the Compilability and Expressive Power of Propositional Planning Formalisms	CoRR	2011	DBLP BibTeX RDF
17	Diego Calvanese, Maurizio Lenzerini, Daniele Nardi	Unifying Class-Based Representation Formalisms	CoRR	2011	DBLP BibTeX RDF
17	Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf	Space Efficiency of Propositional Knowledge Representation Formalisms	CoRR	2011	DBLP BibTeX RDF
17	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Ou Wei, Arie Gurfinkel, Marsha Chechik	On the consistency, expressiveness, and precision of partial modeling formalisms.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
17	Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger	Rapid property specification and checking for model-based formalisms.	International Symposium on Rapid System Prototyping	2011	DBLP DOI BibTeX RDF
17	Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry	Polyglot: modeling and analysis for multiple Statechart formalisms.	ISSTA	2011	DBLP DOI BibTeX RDF
17	Beatriz Luna, Claudine Chaouiya	Relating Formalisms for the Qualitative Modelling of Regulatory Networks.	PACBB	2011	DBLP DOI BibTeX RDF
17	Mark-Jan Nederhof	Intersection for Weighted Formalisms.	FSMNLP	2011	DBLP BibTeX RDF
17	Mathieu Morey	Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés. (Symbolic supertagging and syntax-semantics interface of polarized lexicalized grammatical formalisms).		2011	RDF
17	Anthony Hunter, Weiru Liu	A survey of formalisms for representing and reasoning with scientific knowledge.	Knowl. Eng. Rev.	2010	DBLP DOI BibTeX RDF
17	Paolo Bottoni, Esther Guerra, Juan de Lara	Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
17	Paolo Bottoni, Esther Guerra, Juan de Lara	Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
17	Calin Ciufudean, Otilia Ciufudean, Constantin Filote, Alexandru Larionescu	Qualitative Formalisms for Psychogenic Medical Diagnosis.	Trans. Mass Data Anal. Images Signals	2010	DBLP BibTeX RDF
17	Florence Dupin de Saint-Cyr, Odile Papini, Henri Prade	An Exploratory Survey of Logic-Based Formalisms for Spatial Information.	Methods for Handling Imperfect Spatial Information	2010	DBLP DOI BibTeX RDF
17	Franz Baader, Marcel Lippmann, Hongkai Liu	Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
17	Laura Bozzelli, Axel Legay, Sophie Pinchinat	Hardness of Preorder Checking for Basic Formalisms.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
17	Radek Kocí, Vladimír Janousek	OOPN and DEVS Formalisms for System Specification and Analysis.	ICSEA	2010	DBLP DOI BibTeX RDF
17	Philippe Besnard	Absurdity, Contradictions, and Logical Formalisms.	ICTAI (1)	2010	DBLP DOI BibTeX RDF
17	Ronen I. Brafman, Francesca Rossi 0001, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh	Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms.	KR	2010	DBLP BibTeX RDF
17	Wolfgang Maier 0001, Laura Kallmeyer	Discontinuity and Non-Projectivity: Using Mildly Context-Sensitive Formalisms for Data-Driven Parsing.	TAG	2010	DBLP BibTeX RDF
17	Panos Rondogiannis	Fixed-Point Semantics for Non-Monotonic Formalisms.	FICS	2010	DBLP BibTeX RDF
17	Sylvain Schmitz	On the Computational Complexity of Dominance Links in Grammatical Formalisms.	ACL	2010	DBLP BibTeX RDF
17	David Harel, Shahar Maoz	Visual Formalisms.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Alexandre Munnier	Locomotion of Deformable Bodies in an Ideal Fluid: Newtonian versus Lagrangian Formalisms.	J. Nonlinear Sci.	2009	DBLP DOI BibTeX RDF
17	Wojciech Zielonka	Weak Implicational Logics Related to the Lambek Calculus - Gentzen versus Hilbert Formalisms.	Towards Mathematical Philosophy	2009	DBLP DOI BibTeX RDF
17	Anders Søgaard	On the Complexity of Alignment Problems in Two Synchronous Grammar Formalisms.	SSST@HLT-NAACL	2009	DBLP BibTeX RDF
17	Alexis Héloir, Michael Kipp	Requirements for a Gesture Specification Language - A Comparison of Two Representation Formalisms.	Gesture Workshop	2009	DBLP DOI BibTeX RDF
17	Craig Schlenoff	Ontology formalisms: what is appropriate for different applications?	PerMIS	2009	DBLP DOI BibTeX RDF
17	Sergio Tafur, Ivan A. Mikhailov, Kevin D. Belfield, Artëm E. Masunov	Predictions of Two Photon Absorption Profiles Using Time-Dependent Density Functional Theory Combined with SOS and CEO Formalisms.	ICCS (2)	2009	DBLP DOI BibTeX RDF	conjugated chromophores, two-photon absorption, time-dependent density functional theory, coupled electronic oscillators, sum over states, Tamm-Dancoff approximation, structure-activity relationship
17	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	RP	2009	DBLP DOI BibTeX RDF
17	Marc Cuggia, Sahar Bayat, Delphine Rossille, Patrice Poulain, Patrick Pladys, Hélène Robert, Régis Duvauferrier	Comparing the Apgar Score Representation in HL7 and OpenEHR Formalisms.	MIE	2009	DBLP DOI BibTeX RDF
17	John-Thones Amenyo	Programmable Cellular Automata as Intermediate Computational Formalisms in End-User Parallel Programming of Massively Multi-Core Computer Architectures.	CSC	2009	DBLP BibTeX RDF
17	Thomas Yau-tat Lee	Formalisms on semi-structured and unstructured data schema computations		2009	DOI RDF
17	Farn Wang	Specification Formalisms and Models.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
17	Alessandra Raffaetà, Tommaso Ceccarelli, Dominique Centeno, Fosca Giannotti, Alessandro Massolo, Christine Parent, Chiara Renso, Stefano Spaccapietra, Franco Turini	An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology.	GeoInformatica	2008	DBLP DOI BibTeX RDF	behavioural ecology, geographical information systems, conceptual modelling, constraint programming, spatio-temporal reasoning
17	Souhila Kaci	Logical formalisms for representing bipolar preferences.	Int. J. Intell. Syst.	2008	DBLP DOI BibTeX RDF
17	Paul A. de Clercq, Katharina Kaiser, Arie Hasman	Computer-interpretable Guideline Formalisms.	Computer-based Medical Guidelines and Protocols	2008	DBLP DOI BibTeX RDF
17	Monika Heiner, Ronny Richter, Martin Schwarick	Snoopy: a tool to design and animate/simulate graph-based formalisms.	SimuTools	2008	DBLP DOI BibTeX RDF	model creation and execution, numerical integration algorithms, qualitative and quantitative petri nets, simulator, animator, editor
17	Ryszard Tadeusiewicz, Marek R. Ogiela	Medical pattern understanding based on cognitive linguistic formalisms and computational intelligence methods.	IJCNN	2008	DBLP DOI BibTeX RDF
17	Yannick Parmentier 0001, Laura Kallmeyer, Wolfgang Maier 0001, Timm Lichte, Johannes Dellert	TuLiPA: A syntax-semantics parsing environment for mildly context-sensitive formalisms.	TAG	2008	DBLP BibTeX RDF
17	Piotr Stolarski, Tadeusz Tomaszewski, John Zeleznikow, Witold Abramowicz	A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms.	ODR	2008	DBLP BibTeX RDF
17	Martin Caminada, Leila Amgoud	On the evaluation of argumentation formalisms.	Artif. Intell.	2007	DBLP DOI BibTeX RDF
17	Olaf Breidbach, Jürgen Jost, Peter F. Stadler	Towards theoretical formalisms.	Theory Biosci.	2007	DBLP DOI BibTeX RDF
17	Miguel Palomino	A comparison between two logical formalisms for rewriting.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
17	Suna Bensch	An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms.	LATA	2007	DBLP BibTeX RDF
17	William E. Leithead, Emanuele Ragnoli	Three mathematical formalisms for discrete time linear feedback systems.	CDC	2007	DBLP DOI BibTeX RDF
17	C. Murray Woodside	From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.	SFM	2007	DBLP DOI BibTeX RDF
17	Dennis Gamrad, Hendrik Oberheid, Dirk Söffker	Supervision of open systems using a situation-operator-modeling approach and higher petri net formalisms.	SMC	2007	DBLP DOI BibTeX RDF
17	H. Dieter Rombach, Frank Seelisch	Formalisms in Software Engineering: Myths Versus Empirical Facts.	CEE-SET	2007	DBLP DOI BibTeX RDF	[empirical] software engineering, empiricism, software development, Computer science, empirical evidence
17	Sean A. Lisse, Robert E. Wray, Marcus J. Huber	Beyond the Ad-Hoc and the Impractically Formal: Lessons from the Implementation of Formalisms of Intention.	AAAI Spring Symposium: Intentions in Intelligent Systems	2007	DBLP BibTeX RDF
17	Matthias Becker 0002	Generating Interactive 3-D Models for Discrete-Event Modeling Formalisms.	CW	2007	DBLP DOI BibTeX RDF
17	Maja Milicic	Planning in Action Formalisms based on DLs: First Results.	Description Logics	2007	DBLP BibTeX RDF
17	Mats Danielson, Love Ekenberg, David Sundgren	Structure Information in Decision Trees and Similar Formalisms.	FLAIRS	2007	DBLP BibTeX RDF
17	Jana Chocholousová, Michael Feig	Balancing an accurate representation of the molecular surface in generalized born formalisms with integrator stability in molecular dynamics simulations.	J. Comput. Chem.	2006	DBLP DOI BibTeX RDF
17	Seunghwan O, Kwang-Moo Choe	LR Formalisms as Abstract Interpretations of Grammar Semantics.	IEICE Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF
17	Miguel Palomino	A comparison between two logical formalisms for rewriting	CoRR	2006	DBLP BibTeX RDF
17	David P. Darcy, Jonathan W. Palmer	The Impact of Modeling Formalisms on Software Maintenance.	IEEE Trans. Engineering Management	2006	DBLP DOI BibTeX RDF
17	Wolfgang Ecker, Volkan Esen, Michael Hull	Execution semantics and formalisms for multi-abstraction TLM assertions.	MEMOCODE	2006	DBLP DOI BibTeX RDF
17	Arnaud Durand 0001, Clemens Lautemann, Malika More	Counting Results in Weak Formalisms.	Circuits, Logic, and Games	2006	DBLP BibTeX RDF
17	Jie Bao 0001, Vasant G. Honavar	Divide and Conquer Semantic Web with Modular Ontologies - A Brief Review of Modular Ontology Language Formalisms.	WoMO	2006	DBLP BibTeX RDF
17	Liang Huang 0001	Efficient Algorithms for Richer Formalisms: Parsing and Machine Translation.	HLT-NAACL	2006	DBLP BibTeX RDF
17	Goran D. Putnik, Rui M. Sousa	On Formal Theories - And Formalisms for Virtual Enterprises.	BASYS	2006	DBLP DOI BibTeX RDF
17	Stefano Bistarelli, Fabio Gadducci	Enhancing Constraints Manipulation in Semiring-Based Formalisms.	ECAI	2006	DBLP BibTeX RDF
17	Patrick Brézillon, Avelino J. Gonzalez	Tale of Two Context-Based Formalisms for Representing Human Knowledge.	IEA/AIE	2006	DBLP DOI BibTeX RDF
17	Tilman Becker, Laura Kallmeyer (eds.)	Proceedings of the Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms, TAG 2006, Sydney, Australia, July 15-16, 2006	TAG	2006	DBLP BibTeX RDF
17	Chung-hye Han	Pied-Piping in Relative Clauses: Syntax and Compositional Semantics Based on Synchronous Tree Adjoining Grammar.	TAG	2006	DBLP BibTeX RDF
17	Jungyeul Park	Extracting Syntactic Features from a Korean Treebank.	TAG	2006	DBLP BibTeX RDF
17	Carlos Gómez-Rodríguez, Miguel A. Alonso 0001, Manuel Vilares Ferro	Generating XTAG Parsers from Algebraic Specifications.	TAG	2006	DBLP BibTeX RDF
17	Chung-hye Han, Nancy Hedberg	A Tree Adjoining Grammar Analysis of the Syntax and Semantics of It-Clefts.	TAG	2006	DBLP BibTeX RDF
17	Alexandra Kinyon, Owen Rambow, Tatjana Scheffler, SinWon Yoon, Aravind K. Joshi	The Metagrammar Goes Multilingual: A Cross-Linguistic Look at the V2-Phenomenon.	TAG	2006	DBLP BibTeX RDF
17	Laura Kallmeyer, Frank Richter 0001	Constraint-Based Computational Semantics: A Comparison between LTAG and LRS.	TAG	2006	DBLP BibTeX RDF
17	David Chiang 0001, Owen Rambow	The Hidden TAG Model: Synchronous Grammars for Parsing Resource-Poor Languages.	TAG	2006	DBLP BibTeX RDF
17	Arthur Stepanov	'Single Cycle' Languages: Empirical Evidence for TAG-Adjoining.	TAG	2006	DBLP BibTeX RDF
17	David Chiang 0001	The Weak Generative Capacity of Linear Tree-Adjoining Grammars.	TAG	2006	DBLP BibTeX RDF
17	Claire Gardent, Eric Kow	Three Reasons to Adopt TAG-Based Surface Realisation.	TAG	2006	DBLP BibTeX RDF
17	Frederick Hoyt	Negative Concord and Restructuring in Palestinian Arabic: A Comparison of TAG and CCG Analyses.	TAG	2006	DBLP BibTeX RDF
17	Laura Kallmeyer, Maribel Romero	Quantifier Scope in German: An MCTAG Analysis.	TAG	2006	DBLP BibTeX RDF
17	Neville Ryant, Tatjana Scheffler	Binding of Anaphors in LTAG.	TAG	2006	DBLP BibTeX RDF
17	Yudong Liu, Anoop Sarkar	Using LTAG-Based Features for Semantic Role Labeling.	TAG	2006	DBLP BibTeX RDF