310 search results - page 25 / 62 » A General Technique for Plan Repair |
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Software upgrades are unreliable, often causing downtime or data loss. I propose Imago, an approach for removing the leading causes of upgrade failures (broken dependencies) and o...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
A staggering number of multimedia applications are being introduced every day. Yet, the inordinate delays encountered in retrieving multimedia documents make it difficult to use t...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
We are reaching a crisis with design of user interfaces for consumer electronics. Flashing 12:00 time indicators, push-andhold buttons, and interminable modes and menus are all sy...
AAAI
2010
13 years 9 months ago
2010
It is well known that there cannot be a single "best" heuristic for optimal planning in general. One way of overcoming this is by combining admissible heuristics (e.g. b...