2550 search results - page 38 / 510 » Difference Decision Diagrams |
106
click to vote
MICAI
2007
Springer
15 years 8 months ago
2007
Springer
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
113
Voted
RISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
116
click to vote
ISMVL
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes a new architecture for memorybased floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multivalued decision ...
154
Voted
GLVLSI
1996
IEEE
15 years 6 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
109
Voted
BMCBI
2005
15 years 1 months ago
2005
Background: Gene expression studies increasingly compare expression responses between different experimental backgrounds (genetic, physiological, or phylogenetic). By focusing on ...