2634 search results - page 89 / 527 » Faster Than Uppaal |
PAIRING
2007
Springer
14 years 3 months ago
2007
Springer
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...
CGI
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a fast and reliable method to trim non-solution regions in an interval ray tracing process. The “trimming algorithm” uses interval analysis to perform rejec...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we analyse the properties of the standard circular hidden Markov model (HMM) on 2D shape recognition. We point out the limitations of the circular HMMs and further ...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper describes an area-efficient mixed-signal implementation of synapse-based long term plasticity realized in a VLSI1 model of a spiking neural network. The artificial...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— We present AmphiBot I, an amphibious snake robot capable of crawling and swimming. Experiments have been carried out to characterize how the speed of locomotion depends on the ...