Sciweavers

1537 search results - page 50 / 308
» On sets not belonging to algebras
Sort
View
DLOG
2010
13 years 5 months ago
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
Jocelyne Faddoul, Volker Haarslev
AMDO
2006
Springer
13 years 11 months ago
Principal Spine Shape Deformation Modes Using Riemannian Geometry and Articulated Models
We present a method to extract principal deformation modes from a set of articulated models describing the human spine. The spine was expressed as a set of rigid transforms that su...
Jonathan Boisvert, Xavier Pennec, Hubert Labelle, ...
DLT
2003
13 years 9 months ago
On a Conjecture of Schnoebelen
The notion of sequential and parallel decomposition of a language over a set of languages was introduced by Schnoebelen. A language is decomposable if it belongs to a finite set ...
Antonio Cano Gómez, Jean-Eric Pin
SIGMOD
1996
ACM
132views Database» more  SIGMOD 1996»
13 years 11 months ago
Cost-Based Optimization for Magic: Algebra and Implementation
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
Praveen Seshadri, Joseph M. Hellerstein, Hamid Pir...
ICDE
2006
IEEE
119views Database» more  ICDE 2006»
14 years 9 months ago
Laws for Rewriting Queries Containing Division Operators
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
Ralf Rantzau, Christoph Mangold