112 search results - page 4 / 23 » Compact explosion diagrams |
GMP
2010
IEEE
13 years 10 months ago
2010
IEEE
The Voronoi diagram is a fundamental geometry structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact 3D d...
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
DEXA
2006
Springer
13 years 9 months ago
2006
Springer
The composition of services that are indexed in a large-scale service directory often involves many complex queries issued by the service composition algorithm to the directory. Th...
ICTAI
2008
IEEE
14 years 5 days ago
2008
IEEE
A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decisio...
VOSS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...