16082 search results - page 2933 / 3217 » Fireworks Algorithm for Optimization |
258
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
192
click to vote
COMPGEOM
2006
ACM
16 years 1 months ago
2006
ACM
We consider a class of geometric facility location problems in which the goal is to determine a set X of disks given by their centers (tj) and radii (rj) that cover a given set of...
225
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
In many image retrieval applications, the mapping between highlevel semantic concept and low-level features is obtained through a learning process. Traditional approaches often as...
171
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
We propose a novel and generic video/image reranking algorithm, IB reranking, which reorders results from text-only searches by discovering the salient visual patterns of relevant...
258
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...