Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Marco Kuhlmann, Mathias Möhl	Extended Cross-Serial Dependencies in Tree Adjoining Grammars.	TAG	2006	DBLP BibTeX RDF
17	Timm Lichte, Laura Kallmeyer	Licensing German Negative Polarity Items in LTAG.	TAG	2006	DBLP BibTeX RDF
17	Carlos A. Prolo	Handling Unlike Coordinated Phrases in TAG by Mixing Syntactic Category and Grammatical Function.	TAG	2006	DBLP BibTeX RDF
17	Eric Kow, Yannick Parmentier 0001, Claire Gardent	SemTAG, the LORIA toolbox for TAG-based Parsing and Generation.	TAG	2006	DBLP BibTeX RDF
17	Djamé Seddah, Benoît Sagot	Modeling and Analysis of Elliptic Coordination by Dynamic Exploitation of Derivation Forests in LTAG Parsing.	TAG	2006	DBLP BibTeX RDF
17	Dennis Ryan Storoshenko	Reconsidering Raising and Experiencers in English.	TAG	2006	DBLP BibTeX RDF
17	Sylvain Salvati	Parsing TAG with Abstract Categorial Grammar.	TAG	2006	DBLP BibTeX RDF
17	Olga Babko-Malaya	Semantic Interpretation of Unrealized Syntactic Material in LTAG.	TAG	2006	DBLP BibTeX RDF
17	Joseph Le Roux, Benoît Crabbé, Yannick Parmentier 0001	A Constraint Driven Metagrammar.	TAG	2006	DBLP BibTeX RDF
17	Yuki Kato, Hiroyuki Seki, Tadao Kasami	Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling.	TAG	2006	DBLP BibTeX RDF
17	João Paulo Barros, Anikó Costa, Luís Gomes 0001	Modeling Formalisms for Embedded System Design.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
17	Fernando J. Barros, SungDo Chi	Editorial: Applications of DEVS Formalisms.	Simul.	2005	DBLP DOI BibTeX RDF
17	D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers	Relating Hybrid Chi to Other Formalisms.	IFM Doctoral Symposium	2005	DBLP DOI BibTeX RDF
17	Manuel A. Pereira Remelhe, Sebastian Engell	Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc.	Int. J. Softw. Eng. Knowl. Eng.	2005	DBLP DOI BibTeX RDF
17	Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer	Tool Support for OCL and Related Formalisms - Needs and Trends.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
17	Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter	Integrating Description Logics and Action Formalisms: First Results.	AAAI	2005	DBLP BibTeX RDF
17	Witold Drozdzynski, Hans-Ulrich Krieger, Jakub Piskorski, Ulrich Schäfer	SProUT - A General-Purpose NLP Framework Integrating Finite-State and Unification-Based Grammar Formalisms.	FSMNLP	2005	DBLP DOI BibTeX RDF
17	Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter	Integrating Description Logics and Action Formalisms: First Results.	Description Logics	2005	DBLP BibTeX RDF
17	Ephraim Nissan, Antonio A. Martino	Artificial Intelligence And Formalisms For Legal Evidence: An Introduction.	Appl. Artif. Intell.	2004	DBLP DOI BibTeX RDF
17	John Bonnett	New Technologies, New Formalisms for Historians: The 3D Virtual Buildings.	Lit. Linguistic Comput.	2004	DBLP DOI BibTeX RDF
17	Aymeric Dussart, Benoit Aubert, Michel Patry	An Evaluation of Inter-Organizational Workflow Modeling Formalisms.	J. Database Manag.	2004	DBLP DOI BibTeX RDF
17	Samir M. Koriem, Wail S. El-Kilani	A new disk-based technique for solving the largeness problem of stochastic modeling formalisms.	J. Syst. Softw.	2004	DBLP DOI BibTeX RDF
17	Philippe de Groote, Sylvain Pogodalla	On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	Abstract categorial grammars, lambda-calculus, context-free grammars, formal language theory
17	Jun'ichi Tsujii	How long will we be able to ignore linguistic knowledge and their formalisms?	IWSLT	2004	DBLP BibTeX RDF
17	Guillaume Bonfante, Bruno Guillaume, Guy Perrier	Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation.	COLING	2004	DBLP BibTeX RDF
17	Owen Rambow, Matthew Stone (eds.)	Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms, TAG+ 2004, Vancouver, Canada, May 20-22, 2004	TAG+	2004	DBLP BibTeX RDF
17	Hui Liu, Minglu Li 0001	SVO Logic Based Formalisms of GSI Protocols.	PDCAT	2004	DBLP DOI BibTeX RDF
17	Kenta Oouchida, Naoki Yoshinaga 0001, Jun'ichi Tsujii	Context-free Approximation of LTAG towards CFG Filtering.	TAG+	2004	DBLP BibTeX RDF
17	Alexis Nasr, Owen Rambow	SuperTagging and Full Parsing.	TAG+	2004	DBLP BibTeX RDF
17	Laura Kallmeyer, Maribel Romero	LTAG Semantics with Semantic Unification.	TAG+	2004	DBLP BibTeX RDF
17	Eva Banik	Semantics of VP coordination in LTAG.	TAG+	2004	DBLP BibTeX RDF
17	Ralph Debusmann, Denys Duchier, Marco Kuhlmann, Stefan Thater	TAG Parsing as Model Enumeration.	TAG+	2004	DBLP BibTeX RDF
17	Laura Kallmeyer, SinWon Yoon	Tree-local MCTAG with Shared Nodes: Word Order Variation in German and Korean.	TAG+	2004	DBLP BibTeX RDF
17	Naoki Yoshinaga 0001, Jun'ichi Tsujii	Generalizing Subcategorization Frames Acquired from Corpora Using Lexicalized Grammars.	TAG+	2004	DBLP BibTeX RDF
17	Neville Ryant, Karin Kipper	Assigning XTAG Trees to VerbNet.	TAG+	2004	DBLP BibTeX RDF
17	Tatjana Scheffler	Semantic Reconstruction for how many-Questions in LTAG.	TAG+	2004	DBLP BibTeX RDF
17	Sébastien Barrier, Nicolas Barrier	Metagrammars: a new implementation for FTAG.	TAG+	2004	DBLP BibTeX RDF
17	Laurence Danlos	Sentences with Two Subordinate Clauses: Syntactic and Semantic Analyses, Underspecified Semantic Representation.	TAG+	2004	DBLP BibTeX RDF
17	Libin Shen	Nondeterministic LTAG Derivation Tree Extraction.	TAG+	2004	DBLP BibTeX RDF
17	Valerie Barr, Ellen Siefring	Verification of Lexicalized Tree Adjoining Grammars.	TAG+	2004	DBLP BibTeX RDF
17	Virginia Savova, Robert Frank	Tree-adjoining Grammars for Optimality Theory Syntax.	TAG+	2004	DBLP BibTeX RDF
17	Sasa Hasan, Karin Harbusch	N-Best Hidden Markov Model Supertagging to Improve Typing on an Ambiguous Keyboard.	TAG+	2004	DBLP BibTeX RDF
17	James Rogers	On Scrambling, Another Perspective.	TAG+	2004	DBLP BibTeX RDF
17	SinWon Yoon	Using a Meta-Grammar for LTAG Korean Grammar.	TAG+	2004	DBLP BibTeX RDF
17	Sylvain Pogodalla	Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees.	TAG+	2004	DBLP BibTeX RDF
17	Olga Babko-Malaya	LTAG Semantics of Focus.	TAG+	2004	DBLP BibTeX RDF
17	Maribel Romero, Laura Kallmeyer, Olga Babko-Malaya	LTAG Semantics for Questions.	TAG+	2004	DBLP BibTeX RDF
17	Stuart M. Shieber	Synchronous Grammars as Tree Transducers.	TAG+	2004	DBLP BibTeX RDF
17	Will Thompson	Deriving Syntactic Structure inside Ellipsis.	TAG+	2004	DBLP BibTeX RDF
17	Olga Babko-Malaya	LTAG Semantics of NP-Coordination.	TAG+	2004	DBLP BibTeX RDF
17	François Toussenel	Why Supertagging Is Hard.	TAG+	2004	DBLP BibTeX RDF
17	Laura Kallmeyer, Tatjana Scheffler	LTAG Analysis for Pied-Piping and Stranding of wh-Phrases.	TAG+	2004	DBLP BibTeX RDF
17	David Chiang 0001	Uses and abuses of intersected languages.	TAG+	2004	DBLP BibTeX RDF
17	Akio Fujiyoshi	Epsilon-Free Grammars and Lexicalized Grammars that Generate the Class of the Mildly Context-Sensitive Languages.	TAG+	2004	DBLP BibTeX RDF
17	Yuki Kato, Hiroyuki Seki, Tadao Kasami	Subclasses of Tree Adjoining Grammar for RNA Secondary Structure.	TAG+	2004	DBLP BibTeX RDF
17	Ronald Millett, Deryle Lonsdale	Expanding Tree Adjoining Grammar to create Junction Grammar trees.	TAG+	2004	DBLP BibTeX RDF
17	Suna Aydin, Henning Bordihn	Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity.	Fundam. Informaticae	2003	DBLP BibTeX RDF
17	David Teller	Formalisms for mobile resource control.	FGC	2003	DBLP DOI BibTeX RDF
17	Chris W. Johnson 0001, C. Michael Holloway	A survey of logic formalisms to support mishap analysis.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
17	James Rogers	wMSO theories as grammar formalisms.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Samir M. Koriem, Wail S. El-Kilani	A New Disk-based Technique for Solving the Largeness Problem of Stochastic Modeling Formalisms.	J. King Saud Univ. Comput. Inf. Sci.	2003	DBLP DOI BibTeX RDF
17	Rodolfo Castelló, Rym Mili	Visualizing graphical and textual formalisms.	Inf. Syst.	2003	DBLP DOI BibTeX RDF
17	Zsolt Németh, Vaidy S. Sunderam	Characterizing Grids: Attributes, Definitions, and Formalisms.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	distributed computing, computational Grids, formal definitions
17	Hassan Reza, Emanuel S. Grant	A Framework for Specifying Software Architecture Based on Multi-Formalisms.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
17	Kenneth G. Ricks, David Jeff Jackson, B. Earl Wells	A Survey and Analysis of Existing Constraint Combination Formalisms and Their Applications to Software Systems Having Client-Server Relationships.	CATA	2003	DBLP BibTeX RDF
17	Alexander Koller, Joachim Niehren, Stefan Thater	Underspecification formalisms: Hole semantics as dominance constraints.	EACL	2003	DBLP BibTeX RDF
17	Kenneth G. Ricks, David Jeff Jackson, B. Earl Wells	The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems.	PDPTA	2003	DBLP BibTeX RDF
17	Jussi Rintanen	Expressive Equivalence of Formalisms for Planning with Sensing.	ICAPS	2003	DBLP BibTeX RDF
17	Ulrike Sattler, Diego Calvanese, Ralf Molitor	Relationships with other Formalisms.	Description Logic Handbook	2003	DBLP BibTeX RDF
17	Richard Hull 0001	E-Service Composition: Models and Formalisms.	Description Logics	2003	DBLP BibTeX RDF
17	João José Neto, Miryam de Moraes	Using Adaptive Formalisms to Describe Context-Dependencies in Natural Language.	PROPOR	2003	DBLP DOI BibTeX RDF
17	Joachim Niehren, Stefan Thater	Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints.	ACL	2003	DBLP BibTeX RDF
17	Teresa Alsinet, Lluís Godo, Sandra A. Sandri	Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.	UNCL@ICALP	2002	DBLP DOI BibTeX RDF
17	Geoffrey K. Pullum	Tree Adjoining Grammars: Formalisms, Linguistic Analysis and Processing edited by Anne Abeillé and Owen Rambow.	Comput. Linguistics	2002	DBLP BibTeX RDF
17	Yngve Lamo, Michal Walicki	Combining Specification Formalisms in the ?General Logic? of Multialgebras.	WADT	2002	DBLP DOI BibTeX RDF
17	Takashi Ninomiya, Yusuke Miyao, Jun'ichi Tsujii	Lenient Default Unification for Robust Processing within Unification Based Grammar Formalisms.	COLING	2002	DBLP BibTeX RDF
17	David Chiang 0001	Putting Some Weakly Context-Free Formalisms in Order.	TAG+	2002	DBLP BibTeX RDF
17	Manolis Maragoudakis, Katia Kermanidis, Nikos Fakotakis, George Kokkinakis	Combining Bayesian and Support Vector Machines Learning to automatically complete Syntactical Information for HPSG-like Formalisms.	LREC	2002	DBLP BibTeX RDF
17	Berndt Farwer	Comparing Concepts of Object Petri Net Formalisms.	Fundam. Informaticae	2001	DBLP BibTeX RDF
17	Lew Gordeev	Finite methods in 1-order formalisms.	Ann. Pure Appl. Log.	2001	DBLP DOI BibTeX RDF
17	Xuan F. Zha, Hejun Du	Mechanical systems and assemblies modeling using knowledge-intensive Petri nets formalisms.	Artif. Intell. Eng. Des. Anal. Manuf.	2001	DBLP BibTeX RDF
17	Jérôme Euzenat	Granularity in Relational Formalisms - With Application to Time and Space Representation.	Comput. Intell.	2001	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Julia Padberg, Fernando Orejas	From Basic Views and Aspects to Integration of Specification Formalisms.	Current Trends in Theoretical Computer Science	2001	DBLP BibTeX RDF
17	Wolfram Conen, Reinhold Klapsing	Utilizing Host-Formalisms to Extend RDF-Semantics.	SWWS	2001	DBLP BibTeX RDF
17	Meir M. Lehman, Juan F. Ramil, Goel Kahen	Thoughts on the Role of Formalisms in Studying Software Evolution.	FFSE@CSMR	2001	DBLP BibTeX RDF
17	Alexandre Delteil, Catherine Faron-Zucker, Rose Dieng	Extension of RDFS Based on the CGs Formalisms.	ICCS	2001	DBLP DOI BibTeX RDF
17	Marcelo Milrad	From Concrete Experiences to Abstract Formalisms: Learning with Interactive Simulations that Combine Physical and Computational Media.	ICALT	2001	DBLP DOI BibTeX RDF
17	Rodolfo Castelló, Rym Mili, H. Madabushi	Visualizing Graphical and Textual Formalisms.	HCC	2001	DBLP DOI BibTeX RDF
17	Mark Pedersen, Helen C. Purchase	A Usability Case Study of Grammar Formalisms for Free Word Order Natural Language Processing.	NLPRS	2001	DBLP BibTeX RDF
17	Rance Cleaveland	Specification formalisms for component-based concurrent systems.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
17	Antonio Brogi, Patricia M. Hill	Special Issue on Logical Formalisms for Program Composition - Editorial.	J. Funct. Log. Program.	2000	DBLP BibTeX RDF
17	Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf	Space Efficiency of Propositional Knowledge Representation Formalisms.	J. Artif. Intell. Res.	2000	DBLP DOI BibTeX RDF
17	Bernhard Nebel	On the Compilability and Expressive Power of Propositional Planning Formalisms.	J. Artif. Intell. Res.	2000	DBLP DOI BibTeX RDF
17	S. D. Cha	Pet Formalisms versus Industry-Proven Survivors: Issues on Formal Methods Education.	J. Res. Pract. Inf. Technol.	2000	DBLP BibTeX RDF
17	Humberto Maturana Romesín	The effectiveness of mathematical formalisms.	Cybern. Hum. Knowing	2000	DBLP BibTeX RDF
17	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
17	Samson W. Tu, Mark A. Musen	Representation Formalisms and Computational Methods for Modeling Guideline-Based Patient Care.	EWGLP	2000	DBLP DOI BibTeX RDF
17	Rex Bing Hung Kwok	Translations of Ripple Down Rules into Logic Formalisms.	EKAW	2000	DBLP DOI BibTeX RDF
17	Michael W. Whalen	High-integrity code generation for state-based formalisms.	ICSE	2000	DBLP DOI BibTeX RDF	correctness preserving code generation, formal methods, code optimization
17	Mark Pedersen	Usability evaluation of grammar formalisms for free word order natural language processing		2000	RDF