Sciweavers

6794 search results - page 1006 / 1359
» Semantics of Visual Languages
Sort
View
ACL
1990
15 years 6 months ago
The Limits of Unification
Current complex-feature based grammars use a single procedure--unification--for a multitude of purposes, among them, enforcing formal agreement between purely syntactic features. ...
Robert Ingria
COLING
1990
15 years 6 months ago
CLG(n): Constraint Logic Grammars
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
Sergio Balari, Giovanni B. Varile, Luís Dam...
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 5 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 5 months ago
Functorial Data Migration
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
David I. Spivak
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 5 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger
« Prev « First page 1006 / 1359 Last » Next »