2799 search results - page 358 / 560 » Comparing Point Clouds |
182
Voted
SAT
2009
Springer
16 years 20 days ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
154
Voted
ASPDAC
2009
ACM
16 years 20 days ago
2009
ACM
- The power gating technique is useful in reducing standby leakage current, but it increases the gate delay. For a functional unit, its maximum allowable delay (for a target clock ...
177
click to vote
CANDC
2009
ACM
16 years 19 days ago
2009
ACM
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...
175
Voted
IWCMC
2009
ACM
16 years 19 days ago
2009
ACM
Proxy Mobile IP (PMIP) provides a solution for networkbased localized mobility management which in contrast to host-based mobility solutions, like Mobile IP (MIP), does not requir...
192
click to vote
SMA
2009
ACM
16 years 19 days ago
2009
ACM
The behavior of Catmull-Rom curves heavily depends on the choice of parameter values at the control points. We analyze a class of parameterizations ranging from uniform to chordal...