2634 search results - page 71 / 527 » Faster Than Uppaal |
WIA
2007
Springer
14 years 3 months ago
2007
Springer
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
The demand for automatically annotating and retrieving medical images is growing faster than ever. In this paper, we present a novel medical image retrieval method based on SEMIsu...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper compares implementations of elliptic and hyperelliptic curve cryptography (ECC and HECC) on an FPGA platform. We use the same low-level blocks to implement the basic...
CIMCA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the comparison of performance on a simple genetic algorithm (SGA) using roulette wheel selection and tournament selection. A SGA is mainly composed of three ge...
FCCM
2005
IEEE
14 years 2 months ago
2005
IEEE
The CLA-EC is a model obtained by combining the concepts of cellular learning automata and evolutionary algorithms. The parallel structure of the CLA-EC makes it suitable for hard...