12825 search results - page 2127 / 2565 » Improved PLSOM algorithm |
160
click to vote
RT
2005
Springer
15 years 12 months ago
2005
Springer
We propose an adaptive form of frameless rendering with the potential to dramatically increase rendering speed over conventional interactive rendering approaches. Without the rigi...
157
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
180
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
192
click to vote
VLSM
2005
Springer
15 years 12 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
193
click to vote
WINE
2005
Springer
15 years 12 months ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...