Sciweavers

6016 search results - page 133 / 1204

» The semantics of graphical languages

121

LACL
2005
Springer

114views Automated Reasoning» more LACL 2005»

Large Scale Semantic Construction for Tree Adjoining Grammars

15 years 12 months ago

Large Scale Semantic Construction for Tree Adjoining Grammars

Download www.univ-orleans.fr

Claire Gardent, Yannick Parmentier

claim paper

Read More »

126

PPDP
2005
Springer

103views Programming Languages» more PPDP 2005»

A gentle introduction to semantic subtyping

15 years 12 months ago

A gentle introduction to semantic subtyping

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

131

PPDP
2005
Springer

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

15 years 12 months ago

A compositional semantics for CHR

Download tocl.acm.org

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...

claim paper

Read More »

200

EDBT
2008
ACM

146views Database» more EDBT 2008»

SPARQLing constraints for RDF

15 years 8 months ago

SPARQLing constraints for RDF

Download www.informatik.uni-freiburg.de

The goal of the Semantic Web is to support semantic interoperability between applications exchanging data on the web. The idea heavily relies on data being made available in machi...

Georg Lausen, Michael Meier 0002, Michael Schmidt

claim paper

Read More »

185

SIGMOD
2003
ACM

147views Database» more SIGMOD 2003»

Formal semantics and analysis of object queries

16 years 6 months ago

Formal semantics and analysis of object queries

Download research.microsoft.com

Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...

Gavin M. Bierman

claim paper

Read More »

« Prev « First page 133 / 1204 Last » Next »