3342 search results - page 101 / 669 » Symbolic Robustness Analysis |
146
click to vote
LICS
2006
IEEE
15 years 12 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
185
click to vote
CBMS
2004
IEEE
15 years 9 months ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
155
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Robust regression techniques are used today in many computer vision algorithms. Chen and Meer recently presented a new robust regression technique named the projection based M-est...
165
click to vote
ISQED
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of power estimation at the register-transfer level (RTL). At this level, the circuit is described in terms of a set of interconnected memory elements and co...
164
click to vote
ECOOP
2007
Springer
16 years 2 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...