3082 search results - page 201 / 617 » Deviation Analysis: A New Use of Model Checking |
148
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
145
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
140
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...
159
click to vote
ISCAS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...