2286 search results - page 298 / 458 » Algorithms for Categorical Equivalence |
155
click to vote
IJCNLP
2004
Springer
15 years 12 months ago
2004
Springer
We study the problem of efficiently removing equal frequency n-gram substrings from an n-gram set, formally called Statistical Substring Reduction (SSR). SSR is a useful operatio...
204
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
176
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Non-binary constraint satisfaction problems (CSPs) can be solved in two different ways. We can either translate the problem into an equivalent binary one and solve it using well-e...
182
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present a micropolygon ray tracing algorithm that is capable of efficiently rendering high quality defocus and motion blur effects. A key component of our algorithm is a BVH (...
165
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...