1321 search results - page 64 / 265 » Quadratic forms on graphs |
CSL
2008
Springer
15 years 22 days ago
2008
Springer
Tone-enhanced, generalized character posterior probability (GCPP), a generalized form of posterior probability at subword (Chinese character) level, is proposed as a rescoring met...
107
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
The paper presents a novel multi-view learning framework based on variational inference. We formulate the framework as a graph representation in form of graph factorization: the g...
101
Voted
JSAT
2006
15 years 18 days ago
2006
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
88
Voted
JSAT
2010
14 years 7 months ago
2010
We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quan...
199
Voted
MICRO
2012
IEEE
13 years 3 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...