3342 search results - page 112 / 669 » Symbolic Robustness Analysis |
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
168
click to vote
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—We introduce quantization feature functions to represent continuous or large range discrete data into the symbolic CRF data representation. We show that doing this convertion in...
153
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
Principal Component Analysis (PCA) is a well-established technique in image processing and pattern recognition. Incremental PCA and robust PCA are two interesting problems with nu...
165
click to vote
WSC
2001
15 years 7 months ago
2001
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
181
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...