159 search results - page 16 / 32 » Informatics olympiads: challenges in programming and algorit... |
130
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
127
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
152
Voted
CONSTRAINTS
2002
15 years 3 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
129
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
116
Voted
HIPS
1998
IEEE
15 years 7 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...