837 search results - page 99 / 168 » Proof Development with OMEGA |
75
Voted
IJCAI
1989
15 years 1 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 ...
126
Voted
WCE
2007
15 years 1 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...
94
Voted
AML
2008
15 years 24 days 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...
101
Voted
COMPUTER
2008
15 years 23 days 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 ...
111
Voted
CORR
2008
Springer
15 years 22 days 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...