1437 search results - page 221 / 288 » Generalized Belief Propagation |
103
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
106
click to vote
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
125
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Geography and social relationships are inextricably intertwined; the people we interact with on a daily basis almost always live near us. As people spend more time online, data re...
101
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
We present Skinput, a technology that appropriates the human body for acoustic transmission, allowing the skin to be used as an input surface. In particular, we resolve the locati...
126
click to vote
ARITH
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...