520 search results - page 44 / 104 » Implementing a Generalized Version of Resolution |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
FOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the weighted paging problem there is a weight (cost) for fetching each page into the cache. We design a randomized O(log k)-competitive online algorithm for the weighted paging...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
Recognition and retrieval of historical handwritten material is an unsolved problem. We propose a novel approach to recognizing and retrieving handwritten manuscripts, based upon ...