Sciweavers

4949 search results - page 192 / 990
» Consistency and Set Intersection
Sort
View
CONCUR
2001
Springer
15 years 9 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
153
Voted
SSD
2001
Springer
113views Database» more  SSD 2001»
15 years 9 months ago
Object-Relational Indexing for General Interval Relationships
Intervals represent a fundamental data type for temporal, scientific, and spatial databases where time stamps and point data are extended to time spans and range data, respectively...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl
ICIP
2000
IEEE
15 years 9 months ago
Video Dissolve and Wipe Detection via Spatio-Temporal Images of Chromatic Histogram Differences
Gradual transitions represent a challenging problem for temporal segmentation of video. Here we present two new features for detecting these. Recently, Ngo et al. set out a method...
Mark S. Drew, Ze-Nian Li, Xiang Zhong
VLDB
1998
ACM
121views Database» more  VLDB 1998»
15 years 9 months ago
Hash Joins and Hash Teams in Microsoft SQL Server
The query execution engine in Microsoft SQL Server employs hash-based algorithms for inner and outer joins, semi-joins, set operations (such as intersection), grouping, and duplic...
Goetz Graefe, Ross Bunker, Shaun Cooper
VVS
1996
IEEE
129views Visualization» more  VVS 1996»
15 years 9 months ago
Optimal Isosurface Extraction from Irregular Volume Data
A method is proposed which supports the extraction of isosurfaces from irregular volume data, represented by tetrahedral decomposition, in optimal time. The method is based on a d...
Paolo Cignoni, Claudio Montani, Enrico Puppo, Robe...