455 search results - page 8 / 91 » Structure Theorems for Systems of Segments |
COMBINATORICS
1998
13 years 8 months ago
1998
A multimatroid is a combinatorial structure that encompasses matroids, delta-matroids and isotropic systems. This structure has been introduced to unify a theorem of Edmonds on th...
ICDE
2002
IEEE
14 years 10 months ago
2002
IEEE
Computing the frequency of a pattern is one of the key operations in data mining algorithms. We describe a simple yet powerful way of speeding up any form of frequency counting sa...
ICMCS
2006
IEEE
2006
IEEE
Human Object Tracking Algorithm with Human Color Structure Descriptor for Video Surveillance Systems
14 years 2 months ago
Segmentation, tracking, and description extraction are important operations in smart camera surveillance systems. In this paper, a robust segmentation-and-descriptor based trackin...
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper proposes a method for stroke segmentation to decompose Chinese characters to become individual strokes. The method first obtains the medial axes of any given Chinese cha...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...