21319 search results - page 3661 / 4264 » An Approach for Method Reengineering |
167
click to vote
AVBPA
1997
Springer
15 years 11 months ago
1997
Springer
Gait is a biometric which is subject to increasing interest. Current approaches include modelling gait as a spatio-temporal sequence and as an articulated model. By considering leg...
202
click to vote
GLVLSI
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we propose a global routing algorithm for multi-layer building-block layouts. The algorithm is based on successive ripup and rerouting while satisfying edge capacit...
197
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
220
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
This paper discusses a new method for capturing the complete appearanceof both synthetic and realworld objects andscenes,representing this information, and then using this represe...
198
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...