Sciweavers

5064 search results - page 797 / 1013
» Recent Developments in Gridsolve
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 10 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
ANTS
2004
Springer
103views Algorithms» more  ANTS 2004»
15 years 10 months ago
A Comparison of CEILIDH and XTR
We give a comparison of the performance of the recently proposed torus-based public key cryptosystem CEILIDH, and XTR. Underpinning both systems is the mathematics of the two dimen...
Robert Granger, Dan Page, Martijn Stam
APSEC
2004
IEEE
15 years 10 months ago
A Systematic Method to Instantiate Core Assets in Product Line Engineering
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
Soo Dong Kim, Soo Ho Chang, Chee Won Chang
AMDO
2006
Springer
15 years 10 months ago
Combined Head, Lips, Eyebrows, and Eyelids Tracking Using Adaptive Appearance Models
The ability to detect and track human heads and faces in video sequences is useful in a great number of applications, such as human-computer interaction and gesture recognition. Re...
Fadi Dornaika, Javier Orozco, Jordi Gonzàle...
ANTSW
2006
Springer
15 years 10 months ago
An Estimation of Distribution Particle Swarm Optimization Algorithm
Abstract. In this paper we present an estimation of distribution particle swarm optimization algorithm that borrows ideas from recent developments in ant colony optimization. In th...
Mudassar Iqbal, Marco Antonio Montes de Oca