1140 search results - page 75 / 228 » Progress on Certifying Algorithms |
205
click to vote
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
An approximate search query on a collection of strings finds those strings in the collection that are similar to a given query string, where similarity is defined using a given si...
106
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
When facing dynamic optimization problems the goal is no longer to find the extrema, but to track their progression through the space as closely as possible. Over these kind of ov...
108
Voted
CPAIOR
2005
Springer
15 years 6 months ago
2005
Springer
We describe the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne telescope. The problem requires maximizing the nu...
112
Voted
DCC
2000
IEEE
15 years 5 months ago
2000
IEEE
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...