10715 search results - page 1814 / 2143 » From Tests to Proofs |
167
Voted
TVLSI
1998
15 years 6 months ago
1998
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
193
click to vote
TCSV
2002
15 years 6 months ago
2002
The new video-coding standard MPEG-4 enables content-based functionality, as well as high coding efficiency, by taking into account shape information of moving objects. A novel alg...
200
click to vote
TEC
2002
15 years 6 months ago
2002
With increased global interconnectivity, reliance on e-commerce, network services, and Internet communication, computer security has become a necessity. Organizations must protect ...
233
click to vote
TEC
2002
15 years 6 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
175
click to vote
TEC
2002
15 years 6 months ago
2002
An ant colony optimization (ACO) approach for the resource-constrained project scheduling problem (RCPSP) is presented. Several new features that are interesting for ACO in general...