69 search results - page 11 / 14 » Logspace Reducibility via Abstract State Machines |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
ICML
2004
IEEE
14 years 9 months ago
2004
IEEE
Reinforcement learning deals with learning optimal or near optimal policies while interacting with the environment. Application domains with many continuous variables are difficul...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Tying suture knots is a time-consuming task performed frequently during Minimally Invasive Surgery (MIS). Automating this task could greatly reduce total surgery time f...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Energy consumption is a major and costly problem in data centers. A large fraction of this energy goes to powering idle machines that are not doing any useful work. We identify tw...