162 search results - page 4 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
CICLING
2011
Springer
12 years 9 months ago
2011
Springer
This paper proposes an approach of extracting simple and effective features that enhances multilingual document ranking (MLDR). There is limited prior research on capturing the co...
JCDL
2005
ACM
13 years 11 months ago
2005
ACM
This paper describes the development of practical automatic metadata assignment tools to support automatic record creation for virtual libraries, metadata repositories and digital...
ISSTA
2009
ACM
14 years 23 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
MASCOTS
2000
13 years 7 months ago
2000
Most network engineering tools are unsatisfactory. Measurements are not predictive, simulations do not scale, and analysis is limited to oversimplified models. To be more useful, ...
PCM
2005
Springer
13 years 11 months ago
2005
Springer
Flexible macroblock ordering (FMO) is an error resilience feature of H.264 for video transmission over packet-lossy networks. Error concealment (EC) provides a basic error resilien...