Sciweavers

1024 search results - page 43 / 205
» Value complete, column complete, predicate complete
Sort
View
SIAMMA
2010
66views more  SIAMMA 2010»
14 years 8 months ago
On a Nonlocal Reaction-Diffusion Problem Arising from the Modeling of Phytoplankton Growth
In this paper we analyze a nonlocal reaction-diffusion model which arises from the modeling of competition of phytoplankton species with incomplete mixing in a water column. The no...
Yihong Du, Sze-Bi Hsu
ICDE
2010
IEEE
180views Database» more  ICDE 2010»
15 years 1 months ago
Adaptive indexing for relational keys
: © Adaptive indexing for relational keys Goetz Graefe, Harumi Kuno HP Laboratories HPL-2010-23 databases, indexes, storage systems, B-trees, adaptive merging, database cracking A...
Goetz Graefe, Harumi A. Kuno
113
Voted
TCS
2010
14 years 12 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
227
Voted
ICDE
2008
IEEE
194views Database» more  ICDE 2008»
16 years 2 months ago
P-Cube: Answering Preference Queries in Multi-Dimensional Space
Many new applications that involve decision making need online (i.e., OLAP-styled) preference analysis with multidimensional boolean selections. Typical preference queries includes...
Dong Xin, Jiawei Han
SODA
2003
ACM
131views Algorithms» more  SODA 2003»
15 years 2 months ago
Root comparison techniques applied to computing the additively weighted Voronoi diagram
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
Menelaos I. Karavelas, Ioannis Z. Emiris