837 search results - page 99 / 168 » Proof Development with OMEGA |
113
click to vote
IJCAI
1989
15 years 5 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
154
click to vote
WCE
2007
15 years 5 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...
131
click to vote
AML
2008
15 years 4 months ago
2008
This document is a survey of the four papers [H], [Sch], [Com], [FandH]. It gives the relevant background and shows how the papers fit together to form a whole. Material from thos...
134
click to vote
COMPUTER
2008
15 years 4 months ago
2008
Man-in-the-middle (MITM) attacks pose a serious threat to SSL/TLS-based e-commerce applications, such as Internet banking. SSL/TLS session-aware user authentication can be used to ...
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...