1532 search results - page 134 / 307 » A Comparison of RESTART Implementations |
113
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
127
click to vote
BMEI
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a comparison of texture based and color and position based methods for polyp detection in endoscopic video images. Two methods for texture feature extraction t...
122
click to vote
CEC
2008
IEEE
2008
IEEE
Decentralised distributed multiple objective particle swarm optimisation using peer to peer networks
15 years 10 months ago
—This paper describes a distributed particle swarm optimisation algorithm (PSO) based on peer-to-peer computer networks. A number of modifications are made to the more tradition...
111
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new application field for the Goertzel algorithm. The test of mixed-signal circuits involves the generation and analysis of signals. A standard method for th...
162
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Reordered normal basis is a certain permutation of a type II optimal normal basis. In this paper, a high speed design of a word level finite field multiplier using reordered ...