4860 search results - page 700 / 972 » SNPs Problems, Complexity, and Algorithms |
186
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
203
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...
224
click to vote
EGH
2009
Springer
15 years 4 months ago
2009
Springer
The GPU leverages SIMD efficiency when shading because it rasterizes a triangle at a time, running the same shader on all of its fragments. Ray tracing sacrifices this shader cohe...
199
click to vote
EMNLP
2009
15 years 4 months ago
2009
Binarization of Synchronous Context Free Grammars (SCFG) is essential for achieving polynomial time complexity of decoding for SCFG parsing based machine translation systems. In t...
160
click to vote
JMLR
2010
15 years 1 months ago
2010
We introduce a nonparametric representation for graphical model on trees which expresses marginals as Hilbert space embeddings and conditionals as embedding operators. This formul...