1981 search results - page 338 / 397 » Model-Checking Hierarchical Structures |
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
‘ We take advantage of the hierarchical structure of the star graph network to obtain an efficient method for constructing node-disjoint paths between arbitrary pairs of nodes in...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
Interactive visualization of large digital elevation models is of continuing interest in scientific visualization, GIS, and virtual reality applications. Taking advantage of the r...
IWVF
2001
Springer
14 years 1 months ago
2001
Springer
The usefulness of the 3D Medial Axis (MA) is dependent on both the availability of accurate and stable methods for computing individual MA points and on schemes for deriving the l...
TSD
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Emerging electronic text formats include hierarchical structure and visualization related information that current Text-to-Speech (TtS) systems ignore. In this paper we p...