345 search results - page 39 / 69 » Computer-Assisted Simulation Proofs |
104
click to vote
ADBIS
1995
Springer
15 years 6 months ago
1995
Springer
It is by now folklore that the bottom-up evaluation of a program after the “magic set” transformation is “as efficient as” top-down evaluation. There are a number of forma...
149
click to vote
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
141
click to vote
WCE
2007
15 years 3 months ago
2007
—This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode con...
135
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on it...
140
click to vote
ENGL
2008
15 years 2 months ago
2008
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...