3082 search results - page 165 / 617 » Deviation Analysis: A New Use of Model Checking |
230
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
211
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Research on linear text segmentation has been an on-going focus in NLP for the last decade, and it has great potential for a wide range of applications such as document summarizati...
171
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
Abstract. This paper present a new approach for the analysis of gene expression, by extracting a Markov Chain from trained Recurrent Neural Networks (RNNs). A lot of microarray dat...
134
click to vote
WSC
2004
15 years 7 months ago
2004
This paper reports findings of a study of shock absorber assembly line using computer simulation. The shock absorber assembly line feeds shockers to the motorcycle assembly line. ...
167
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...