Sciweavers

7123 search results - page 282 / 1425
» The Ordered Set of Rough Sets
Sort
View
LPAR
2007
Springer
16 years 24 days ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
ARTDB
1997
Springer
269views Database» more  ARTDB 1997»
15 years 10 months ago
Parallel Event Detection in Active Database Systems: The Heart of the Matter
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
Ulrike Jaeger, Johann K. Obermaier
FOCS
2004
IEEE
15 years 10 months ago
No Sorting? Better Searching!
Questions about order versus disorder in systems and models have been fascinating scientists over the years. In Computer Science, order is intimately related to sorting, commonly ...
Gianni Franceschini, Roberto Grossi
183
Voted
CVPR
2000
IEEE
16 years 8 months ago
Shape-Based 3D Surface Correspondence Using Geodesics and Local Geometry
This paper describes a new method for determining correspondence between points on pairs of surfaces based on shape using a combination of geodesic distance and surface curvature....
Yongmei Wang, Bradley S. Peterson, Lawrence H. Sta...
ICIP
1998
IEEE
16 years 8 months ago
Color Pixels Classification in an Hybrid Color Space
In this paper, we describe a new approach for color image segmentation which is considered as a problem of pixels classification. The algorithm is applied to classify pixels of so...
Jack-Gérard Postaire, Ludovic Macaire, Nico...