7827 search results - page 155 / 1566 » time 2007 |
132
click to vote
IPCCC
2007
IEEE
16 years 6 days ago
2007
IEEE
In a MANET network where nodes move frequently, the probability of connectivity loss between nodes might be high, and communication sessions may easily loose connectivity during t...
110
click to vote
BC
1998
15 years 5 months ago
1998
In many cases the distribution of saccadic reaction times (SRT) deviates considerably from a unimodal distribution and may often exhibit several peaks. We present a statistical app...
161
click to vote
FOCI
2007
IEEE
16 years 7 days ago
2007
IEEE
— Backpropagation through time is a very popular discrete-time recurrent neural network training algorithm. However, the computational time associated with the learning process t...
208
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
160
click to vote
FUIN
2007
15 years 5 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...