4488 search results - page 845 / 898 » Properties of NP-Complete Sets |
PODS
1999
ACM
14 years 7 days ago
1999
ACM
We investigate the problem of how to extend constraint query languages with aggregate operators. We deal with standard relational aggregation, and also with aggregates speci c to ...
CAV
1999
Springer
14 years 7 days ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
VISUALIZATION
1999
IEEE
14 years 6 days ago
1999
IEEE
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...
ICDT
1999
ACM
14 years 6 days ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...
VISUALIZATION
1998
IEEE
14 years 5 days ago
1998
IEEE
We are interested in feature extraction from volume data in terms of coherent surfaces and 3-D space curves. The input can be an inaccurate scalar or vector field, sampled densely...