20066 search results - page 286 / 4014 » T Spaces |
172
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
A method for shape analysis of diatoms (single-cell algae with silica shells) based on extraction of features on the contour of the cells by multi-scale mathematical morphology is...
174
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
Radial, space-filling visualizations can be useful for depicting information hierarchies, but they suffer from one major problem. As the hierarchy grows in size, many items becom...
216
click to vote
DEXAW
1999
IEEE
1999
IEEE
Using the Distance Distribution for Approximate Similarity Queries in High-Dimensional Metric Spaces
15 years 11 months ago
We investigate the problem of approximate similarity (nearest neighbor) search in high-dimensional metric spaces, and describe how the distance distribution of the query object ca...
159
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
157
click to vote
MFCS
1999
Springer
15 years 11 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...