3082 search results - page 285 / 617 » Deviation Analysis: A New Use of Model Checking |
153
click to vote
SOCC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Several design metrics have been used in the past to evaluate the SRAM cell stability. However, most of them fail to provide the exact stability figures as shown in this paper...
189
click to vote
BMCBI
2008
15 years 6 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
162
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
197
click to vote
IVC
2007
15 years 6 months ago
2007
In this paper, we propose a new technique to perform figure-ground segmentation in image sequences of moving objects under varying illumination conditions. Unlike most of the alg...
164
click to vote
IWIA
2005
IEEE
16 years 6 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...