803 search results - page 67 / 161 » Independence in Direct-Product Graphs |
101
Voted
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
113
click to vote
UAI
2004
15 years 2 months ago
2004
Action-graph games (AGGs) are a fully expressive game representation which can compactly express both strict and context-specific independence between players' utility functi...
110
click to vote
COMBINATORICA
2008
15 years 25 days ago
2008
The rigidity of squares of graphs in three-space has important applications to the study of flexibility in molecules. The Molecular Conjecture, posed in 1984 by T-S. Tay and W. Wh...
82
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
106
Voted
IJAR
2006
15 years 22 days ago
2006
Probabilistic decision graphs (PDGs) are a representation language for probability distributions based on binary decision diagrams. PDGs can encode (context-specific) independence...