17760 search results - page 200 / 3552 » A Generalization of the Massey-Ding Algorithm |
113
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
131
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In the solution path algorithm of support vector regression, the penalty for violation of the required error is considered equally for every training sample, which means every tra...
140
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We prove that the hit-and-run random walk is rapidly mixing for an arbitrary logconcave distribution starting from any point in the support. This extends the work of [26], where t...
113
click to vote
FSMNLP
2005
Springer
15 years 10 months ago
2005
Springer
The join of two n-ary string relations is a main operation regarding to applications. n-Ary rational string relations are realized by weighted finite-state machines with n tapes. ...
151
Voted
FUN
2010
Springer
15 years 9 months ago
2010
Springer
The Honey-Bee game is a two-player board game that is played on a connected hexagonal colored grid, or in a generalized setting, on a connected graph with colored nodes. In a singl...