984 search results - page 177 / 197 » ideas 2010 |
AIPS
2010
14 years 1 months ago
2010
Heuristic functions make MDP solvers practical by reducing their time and memory requirements. Some of the most effective heuristics (e.g., the FF heuristic function) first determ...
ICSE
2010
IEEE-ACM
14 years 27 days ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
MMB
2010
Springer
14 years 27 days ago
2010
Springer
We present a tool for the analysis of fault-tolerance in packet-switched communication networks. Network elements like links or routers can fail or unexpected traffic surges may o...
IWMM
2010
Springer
14 years 21 days ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
SDM
2010
SIAM
14 years 11 days ago
2010
SIAM
Obtaining high-quality and up-to-date labeled data can be difficult in many real-world machine learning applications, especially for Internet classification tasks like review spam...