1219 search results - page 56 / 244 » Verification of Equivalent-Results Methods |
DAC
2005
ACM
13 years 10 months ago
2005
ACM
This paper presents a new Green function-based approach for substrate parasitic extraction in substrates with inhomogeneous layers. This new formulation allows analysis of noise c...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. A large class of unsupervised algorithms for Word Sense Disambiguation (WSD) is that of dictionary-based methods. Various algorithms have as the root Lesk's algorith...
ENTCS
2006
13 years 8 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
ITICSE
1999
ACM
14 years 1 months ago
1999
ACM
The paper addressesthe problem of making experiments for software engineering during laboratories. There is a need for experimental investigations. If experiments are performed in...
ICIAP
2003
ACM
14 years 2 months ago
2003
ACM
Principal Components Analysis (PCA) has been one of the most applied methods for face verification using only 2D information, in fact, PCA is practically the method of choice for ...