Sciweavers

3809 search results - page 692 / 762
» Associative language descriptions
Sort
View
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 2 days ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
ACS
2008
15 years 10 hour ago
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
Robert Wisbauer
ALIFE
2008
15 years 7 hour ago
The Nature of Words in Human Protolanguages: It's Not a Holophrastic-Atomic Meanings Dichotomy
There is an ongoing debate as to whether the words in early pre-syntactic forms of human language had simple atomic meanings like modern words [4, 5], or whether they were holophr...
Mike Dowman
CGF
2008
126views more  CGF 2008»
14 years 12 months ago
Part-type Segmentation of Articulated Voxel-Shapes using the Junction Rule
We present a part-type segmentation method for articulated voxel-shapes based on curve skeletons. Shapes are considered to consist of several simpler, intersecting shapes. Our met...
Dennie Reniers, Alexandru Telea
CORR
2008
Springer
103views Education» more  CORR 2008»
14 years 12 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau