Sciweavers

3154 search results - page 438 / 631
» Computing Closed Skycubes
Sort
View
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 11 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
3DPVT
2002
IEEE
121views Visualization» more  3DPVT 2002»
15 years 11 months ago
Analysis of Secondary Structure Elements of Proteins Using Indexing Techniques
In this paper we present a method for protein structure comparison that is based on indexing. Unlike most methods using indexing, ours does not use invariants of the C atoms of th...
Concettina Guerra, Stefano Lonardi, Giuseppe Zanot...
GMP
2002
IEEE
199views Solid Modeling» more  GMP 2002»
15 years 11 months ago
Hex-Dominant Mesh Generation with Directionality Control via Packing Rectangular Solid Cells
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...
Soji Yamakawa, Kenji Shimada
ICPPW
2002
IEEE
15 years 11 months ago
Parallel Cholesky Factorization of a Block Tridiagonal Matrix
In this paper we discuss the parallel implementation of the Cholesky factorization of a positive definite symmetric matrix when that matrix is block tridiagonal. While parallel im...
Thuan D. Cao, John F. Hall, Robert A. van de Geijn
ICSM
2002
IEEE
15 years 11 months ago
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
Matthias M. Müller, Rainer Typke, Oliver Hagn...