Microsoft Word - 14amia_sublanguage_cameraready.docx

Source URL: people.dbmi.columbia.edu

Computer-Assisted Language Learning and the Revolution in Computational Linguistics Pius ten Hacken (Swansea) Abstract For a long period, Computational Linguistics (CL) and Computer-Assisted Language

Source URL: www.linguistik-online.de

• Computational linguistics
• Machine translation
• Applied linguistics
• Language
• Generative linguistics
• Sublanguage
• Noam Chomsky
• Verbmobil
• Natural language processing
• Linguistics
• Science
• Academia

Adapting a general parser to a sublanguage Sophie Aubin*, Adeline Nazarenko* and Claire N´ edellec** (*) LIPN, University of Paris 13 & CNRS UMR, av. J.B. Cl´ement, FVilletaneuse, France {sophie.aubin,na

Source URL: www.abiword.org

• Formal languages
• Computational linguistics
• Speech recognition
• Compiler construction
• Parsing
• Natural language processing
• Link grammar
• Dependency grammar
• Formal grammar
• Programming language implementation
• Linguistics
• Syntax

Adapting a general parser to a sublanguage Sophie Aubin*, Adeline Nazarenko* and Claire N´ edellec** (*) LIPN, University of Paris 13 & CNRS UMR, av. J.B. Cl´ement, FVilletaneuse, France {sophie.aubin,na

Source URL: www.abisource.com

• Formal languages
• Computational linguistics
• Speech recognition
• Compiler construction
• Parsing
• Natural language processing
• Link grammar
• Dependency grammar
• Formal grammar
• Programming language implementation
• Linguistics
• Syntax

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan

Source URL: www.multimedialibrary.com

• Logic in computer science
• Model theory
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Interpretation
• Symbol
• Function
• Mathematics
• Theoretical computer science
• Mathematical logic

Event-Condition-Action Rule Languages over Semistructured Data George Papamarkos March 2007

Source URL: www.dcs.bbk.ac.uk

• Data
• RDF query language
• XQuery
• XML
• Versa
• Sublanguage
• SQL
• Computing
• Query languages
• Data management

Appendix A A Kernel Library to Support Profile Definitions (c) December 1999 Andy Evans, Stuart Kent

Source URL: www.cs.york.ac.uk

• Computing
• Class
• Semantics
• Entity-relationship model
• Profile
• Attribute grammar
• Sublanguage
• Software engineering
• Unified Modeling Language
• Data modeling

Adapting a general parser to a sublanguage Sophie Aubin*, Adeline Nazarenko* and Claire N´ edellec** (*) LIPN, University of Paris 13 & CNRS UMR[removed], av. J.B. Cl´ement, F[removed]Villetaneuse, France {sophie.aubin,na

Source URL: www.link.cs.cmu.edu

• Formal languages
• Computational linguistics
• Speech recognition
• Compiler construction
• Parsing
• Natural language processing
• Link grammar
• Dependency grammar
• Formal grammar
• Programming language implementation
• Linguistics
• Syntax

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan

Source URL: www.multimedialibrary.com

• Logic in computer science
• Model theory
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Interpretation
• Symbol
• Function
• Mathematics
• Theoretical computer science
• Mathematical logic

RELATIONAL COMPLETENESS

Source URL: www.cs.berkeley.edu

• Mathematical structures
• Algebraic structures
• Relational algebra
• Sublanguage
• Finitary relation
• Relation
• Function
• Ring
• Binary relation
• Mathematics
• Relational model
• Structure