1985 search results - page 200 / 397 » Multiresolution Analysis of Connectivity |
APN
2003
Springer
15 years 3 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
CAIP
2001
Springer
15 years 3 months ago
2001
Springer
This paper describes a technique for text segmentation of machine printed Gurmukhi script documents. Research in the field of segmentation of Gurmukhi script faces major problems m...
110
click to vote
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
IV
1999
IEEE
15 years 2 months ago
1999
IEEE
A semantic-centric approach to information visualization is described in this paper. In contrast to the conventional document-centric approaches, the semantic-centric approach foc...
SMI
1999
IEEE
15 years 2 months ago
1999
IEEE
We present efficient and robust algorithms for intersecting a freeform surface with a ringed surface or a ruled surface. A ringed surface is given as a one-parameter family of cir...