91 search results - page 8 / 19 » amc 2006 |
118
click to vote
AMC
2006
15 years 1 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
114
Voted
AMC
2006
15 years 1 months ago
2006
The fast implementation of elliptic curve cryptosystems relies on the efficient computation of scalar multiplication. Based on the double-base chain representation of scalar using...
120
click to vote
AMC
2006
15 years 1 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
113
click to vote
AMC
2006
15 years 1 months ago
2006
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
AMC
2006
15 years 1 months ago
2006
In this paper, given a balance scale and the information that there are exactly two different defective coins present, the authors consider the problem of ascertaining the minimum...