1461 search results - page 219 / 293 » The Cost of Cache-Oblivious Searching |
152
click to vote
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...
143
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
A major challenge for genomewide disease association studies is the high cost of genotyping large number of single nucleotide polymorphisms (SNP). The correlations between SNPs, h...
141
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
The advent of sensor networks presents untapped opportunities for synthesis. We examine the problem of synthesis of behavioral specifications into networks of programmable sensor ...
144
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
190
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...