16082 search results - page 2933 / 3217 » Fireworks Algorithm for Optimization |
232
click to vote
ACL2
2006
ACM
16 years 22 days 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...
170
click to vote
COMPGEOM
2006
ACM
16 years 22 days 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...
207
click to vote
MM
2006
ACM
16 years 21 days 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...
156
click to vote
MM
2006
ACM
16 years 21 days 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...
230
click to vote
SIGSOFT
2006
ACM
16 years 21 days 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...