5981 search results - page 93 / 1197 » time 2006 |
96
Voted
RAS
2002
15 years 12 days ago
2002
The possibility of operating in remote environments by means of telecontrolled systems has always been considered of relevant interest in robotics. For this reason, in the literat...
89
Voted
JSCIC
2006
2006
Optimal Strong-Stability-Preserving Time-Stepping Schemes with Fast Downwind Spatial Discretizations
15 years 21 days ago
In the field of strong-stability-preserving time discretizations, a number of researchers have considered using both upwind and downwind approximations for the same derivative, in...
74
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
112
click to vote
IJON
2007
15 years 20 days ago
2007
To predict the 100 missing values from a time series of 5000 data points, given for the IJCNN 2004 time series prediction competition, recurrent neural networks (RNNs) are trained...
104
Voted
FMSD
2006
15 years 23 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...