1534 search results - page 39 / 307 » Error Reporting Logic |
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Ambipolar devices have been reported in many technologies, including carbon nanotube field effect transistors (CNTFETs). The ambipolarity can be in-field controlled with a secon...
87
Voted
CSL
2010
Springer
15 years 19 days ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
90
Voted
MICCAI
2003
Springer
16 years 1 months ago
2003
Springer
Abstract. We describe a new approach to predicting the maximum target registration error for fiducial registration. The approach is based on the analysis of a spatial stiffness mod...
147
click to vote
ESANN
1997
15 years 1 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
79
Voted
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...