1592 search results - page 115 / 319 » On the Equality of Probabilistic Terms |
123
click to vote
ISPD
1997
ACM
15 years 2 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
109
click to vote
ICDT
1997
ACM
15 years 2 months ago
1997
ACM
A “scoring rule” is an assignment of a value to every tuple (of varying sizes). This paper is concerned with the issue of how to modify a scoring rule to apply to the case whe...
BIOSYSTEMS
2007
14 years 10 months ago
2007
We numerically study the subharmonic response of a heterogeneous pool of neurons to a pair of independent inputs. The neurons are stimulated with periodic pulse trains of frequenc...
CGF
2008
14 years 10 months ago
2008
Color is widely used in data visualization to show data values. The proper selection of colors is critical to convey information correctly. In this paper, we present a technique f...
ENTCS
2008
14 years 10 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...