Sciweavers

1437 search results - page 196 / 288
» Generalized Belief Propagation
Sort
View
DAC
1998
ACM
15 years 10 months ago
Approximate Reachability with BDDs Using Overlapping Projections
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
Shankar G. Govindaraju, David L. Dill, Alan J. Hu,...
IBERAMIA
1998
Springer
15 years 10 months ago
Bayesian Networks for Reliability Analysis of Complex Systems
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...
José G. Torres-Toledano, Luis Enrique Sucar
RT
1997
Springer
15 years 10 months ago
Reconstructing the Visual Field of Compound Eyes
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
Steven Collins
PLDI
1993
ACM
15 years 10 months ago
Dependence-Based Program Analysis
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
Richard Johnson, Keshav Pingali
ER
1992
Springer
159views Database» more  ER 1992»
15 years 10 months ago
Meta Object Management and its Application to Database Evolution
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
Markus Tresch, Marc H. Scholl