2297 search results - page 243 / 460 » An Algorithm for Computing the Integral Closure |
135
click to vote
DIS
2006
Springer
15 years 8 months ago
2006
Springer
Parametric Embedding (PE) has recently been proposed as a general-purpose algorithm for class visualisation. It takes class posteriors produced by a mixture-based clustering algori...
163
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Decoupling capacitor (decap) placement has been widely adopted as an effective way to suppress dynamic power supply noise. Traditional decap budgeting algorithms usually explore t...
150
click to vote
JSAT
2006
15 years 4 months ago
2006
Cutting planes are a well-known, widely used, and very effective technique for Integer Linear Programming (ILP). However, cutting plane techniques are seldom used in PseudoBoolean...
140
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
167
click to vote
CVPR
1997
IEEE
16 years 6 months ago
1997
IEEE
Shape indexing is a way of making rapid associations between features detected in an image and object models that could have produced them. When model databases are large, the use...