3082 search results - page 559 / 617 » Deviation Analysis: A New Use of Model Checking |
104
click to vote
NECO
2002
14 years 11 months ago
2002
In the presence of a heavy-tail noise distribution, regression becomes much more di cult. Traditional robust regression methods assume that the noise distribution is symmetric and...
109
click to vote
TSE
2010
14 years 10 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
125
click to vote
TDSC
2011
14 years 6 months ago
2011
—The pervasive diffusion of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the phys...
176
click to vote
DAC
2011
ACM
13 years 11 months ago
2011
ACM
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
101
click to vote
ADVIS
2004
Springer
15 years 5 months ago
2004
Springer
An important issue in text mining is how to make use of multiple pieces knowledge discovered to improve future decisions. In this paper, we propose a new approach to combining mult...