Sciweavers

1415 search results - page 121 / 283
» Verified systems by composition from verified components
Sort
View
AINA
2003
IEEE
15 years 10 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
CVPR
2001
IEEE
16 years 8 months ago
Dimension Recognition and Geometry Reconstruction in Vectorization of Engineering Drawings
This paper presents a novel approach for recognizing and interpreting dimensions in engineering drawings. It starts by detecting potential dimension frames, each comprising only t...
Feng Su, Jiqiang Song, Chiew-Lan Tai, Shijie Cai
ICIP
2004
IEEE
16 years 8 months ago
A RST resilient object-based video watermarking scheme
In this paper, a blind object-based video watermarking scheme, which is robust to MPEG4 compression and normal video editing such as Rotation, Scaling or Translation (RST), is pro...
Dajun He, Qibin Sun
MVA
1998
134views Computer Vision» more  MVA 1998»
15 years 7 months ago
Orientation and Scale Invariant Text Region Extraction in WWW Images
Text extraction from a web image is important for web indexing because the text can contain a key information of the web. This paper presents a method to detect a text with variou...
Taehoon Park, Dongsung Kim, Kyusik Chung
CAD
2004
Springer
15 years 6 months ago
Parametric representation of a surface pencil with a common spatial geodesic
In this paper, we study the problem of constructing a family of surfaces from a given spatial geodesic curve. We derive a parametric representation for a surface pencil whose memb...
Guo-Jin Wang, Kai Tang, Chiew-Lan Tai