10718 search results - page 753 / 2144 » On the Circuit Implementation Problem |
165
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
194
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
197
click to vote
DCC
2006
IEEE
16 years 7 months ago
2006
IEEE
H.264 is currently the best way to compress media to achieve high quality at low bandwidth. Since its inception, technologies such as video-on-demand are increasingly realizable. ...
315
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present an interactive approach for segmenting thin volumetric structures. The proposed segmentation model is based on an anisotropic weighted Total Variation energy with a glob...
180
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...