Sciweavers

57 search results - page 7 / 12
» Initial Algebra Semantics Is Enough!
Sort
View
FLAIRS
2007
13 years 10 months ago
Semantic Relations: Modelling Issues, Proposals and Possible Applications
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
Francisco Álvarez, Antonio Vaquero, Fernand...
ICDE
2004
IEEE
90views Database» more  ICDE 2004»
14 years 9 months ago
ItCompress: An Iterative Semantic Compression Algorithm
Real datasets are often large enough to necessitate data compression. Traditional `syntactic' data compression methods treat the table as a large byte string and operate at t...
H. V. Jagadish, Raymond T. Ng, Beng Chin Ooi, Anth...
CIE
2010
Springer
14 years 14 days ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton
DLOG
2003
13 years 9 months ago
Description Logic Systems
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
Ralf Möller, Volker Haarslev
LICS
2010
IEEE
13 years 5 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius