716 search results - page 76 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
190
click to vote
ISTCS
1992
Springer
15 years 9 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
173
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
176
click to vote
SNPD
2008
15 years 7 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
175
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper describes a simple method for significantly improving Tandem features used to train acoustic models for large-vocabulary speech recognition. The linear activations at ...
183
click to vote
IEICET
2011
15 years 1 months ago
2011
Abstract. In this paper, we give a security proof for Abreast-DM in terms of collision resistance and preimage resistance. As old as Tandem-DM, the compression function Abreast-DM ...