3082 search results - page 499 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
157
click to vote
FOSAD
2000
Springer
15 years 9 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
162
click to vote
ACSW
2004
15 years 7 months ago
2004
Creating a robust image classification system depends on having enough data with which one can adequately train and validate the model. If there is not enough available data, this...
188
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
172
click to vote
IAJIT
2010
15 years 4 months ago
2010
: Image segmentation is an essential step in image processing. The goal of segmentation is to simplify and/or to change the representation of an image into a form easier to analyze...