1054 search results - page 120 / 211 » Determining Computing Science's Role |
124
click to vote
DIS
2010
Springer
14 years 12 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
95
Voted
GI
2009
Springer
14 years 11 months ago
2009
Springer
: In [SH08] we introduced a method for the calculation and visualization of the whole TMA solution space. So, not only the best TMA solution, but also other solution areas with hig...
137
Voted
SOFSEM
2012
Springer
13 years 9 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
140
click to vote
SOFSEM
2012
Springer
13 years 9 months ago
2012
Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...