2634 search results - page 83 / 527 » Faster Than Uppaal |
CLEIEJ
2004
13 years 8 months ago
2004
Small computing devices are everywhere changing the way people communicate and interact, however applications for these devices are developed more or less with the same tools used...
MOC
1998
13 years 8 months ago
1998
This paper investigates the rate of convergence of an alternative approximation method for stochastic differential equations. The rates of convergence of the one-step and multi-st...
CIARP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Feature selection has improved the performance of text clustering. In this paper, a local feature selection technique is incorporated in the dynamic hierarchical compact ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— We present here an original approach to test the feasibility of footsteps for a given walking pattern generator. It is based on a new approximation algorithm intended to cope w...
LATINCRYPT
2010
13 years 7 months ago
2010
A common scenario in many pairing-based cryptographic protocols is that one argument in the pairing is fixed as a long term secret key or a constant parameter in the system. In th...