2313 search results - page 355 / 463 » On Heuristic Time Hierarchies |
178
click to vote
PAM
2007
Springer
16 years 16 days ago
2007
Springer
Cross-traffic data rate over the tight link of a path can be estimated using different active probing packet dispersion techniques. Many of these techniques send large amounts of p...
166
click to vote
SAS
2007
Springer
16 years 15 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
162
click to vote
SAT
2007
Springer
16 years 15 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
194
click to vote
SCOPES
2007
Springer
16 years 15 days ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
169
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Hierarchical classifications are used pervasively by humans as a means to organize their data and knowledge about the world. One of their main advantages is that natural language ...