220 search results - page 28 / 44 » Estimating functional coverage in bounded model checking |
138
Voted
FOCS
2007
IEEE
15 years 7 months ago
2007
IEEE
We develop a new technique of proving lower bounds for the randomized communication complexity of boolean functions in the multiparty `Number on the Forehead' model. Our meth...
126
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
The power and popularity of kernel methods stem in part from their ability to handle diverse forms of structured inputs, including vectors, graphs and strings. Recently, several m...
144
Voted
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
Deep Belief Networks (DBN's) are generative models that contain many layers of hidden variables. Efficient greedy algorithms for learning and approximate inference have allow...
112
Voted
DAC
2000
ACM
15 years 8 months ago
2000
ACM
: The impact of coupling capacitance on delay is usually estimated by scaling the coupling capacitances (often by a factor of 2) and modeling them as grounded. This simple approach...
129
Voted
CIMAGING
2010
15 years 5 months ago
2010
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...