9719 search results - page 175 / 1944 » Inference for Multiplicative Models |
108
click to vote
LOGCOM
2010
15 years 1 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
113
click to vote
IMECS
2007
15 years 4 months ago
2007
—In the context of multiple constant multiplications (MCM) design, we propose a novel common-subexpression-elimination (CSE) algorithm that models synthesis of coefficients into ...
IJCAI
2007
15 years 4 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
101
click to vote
ICCAD
2005
IEEE
15 years 12 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
110
click to vote
NIPS
2004
15 years 4 months ago
2004
We present a graphical model for beat tracking in recorded music. Using a probabilistic graphical model allows us to incorporate local information and global smoothness constraint...