1529 search results - page 125 / 306 » A slant removal algorithm |
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
PLDI
1998
ACM
14 years 2 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
IMR
1998
Springer
14 years 2 months ago
1998
Springer
Whisker Weaving is an advancing front algorithm for all-hexahedral mesh generation. It uses global information derived from grouping the mesh dual into surfaces, the STC, to constr...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...