8723 search results - page 129 / 1745 » A New Analysis of Co-Training |
146
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
162
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
: In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and the resulting electrical faults are transformed i...
171
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
We present new modeling and simulation techniques to improve the accuracy and efficiency of transient analysis of large power distribution grids. These include an accurate model ...
168
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: The paper presents a new stiffness modelling method for multi-chain parallel robotic manipulators with flexible links and compliant actuating joints. In contrast to other works, ...