Sciweavers

1537 search results - page 242 / 308
» On sets not belonging to algebras
Sort
View
VLDB
2004
ACM
151views Database» more  VLDB 2004»
14 years 2 months ago
Query Rewrite for XML in Oracle XML DB
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...
Muralidhar Krishnaprasad, Zhen Hua Liu, Anand Mani...
COMPGEOM
2010
ACM
14 years 2 months ago
Incidences in three dimensions and distinct distances in the plane
d Abstract] György Elekes Eötvös University Micha Sharir Tel Aviv University and New York University We first describe a reduction from the problem of lower-bounding the numbe...
György Elekes, Micha Sharir
GMP
2002
IEEE
172views Solid Modeling» more  GMP 2002»
14 years 1 months ago
Classifying the Nonsingular Intersection Curve of Two Quadric Surfaces
We present new results on classifying the morphology of the nonsingular intersection curve of two quadrics by studying the roots of the characteristic equation, or the discriminan...
Changhe Tu, Wenping Wang, Jiaye Wang
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
14 years 1 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 29 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi