1843 search results - page 147 / 369 » Securing Class Initialization |
134
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
146
Voted
COLING
1996
15 years 6 months ago
1996
The development of natural language proccssing (NLP) systems that perform machine translation (MT) and information retrieval (IR) has highlighted the need for the automatic recogn...
107
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
164
Voted
SCW
2012
IEEE
14 years 15 days ago
2012
IEEE
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
161
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
It is known that the complexity of the reinforcement learning algorithms, such as Q-learning, may be exponential in the number of environment’s states. It was shown, however, th...