9719 search results - page 175 / 1944 » Inference for Multiplicative Models |
157
click to vote
LOGCOM
2010
15 years 4 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 ...
162
click to vote
IMECS
2007
15 years 8 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 ...
144
click to vote
IJCAI
2007
15 years 8 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 ...
143
click to vote
ICCAD
2005
IEEE
16 years 3 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...
150
click to vote
NIPS
2004
15 years 7 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...