520 search results - page 44 / 104 » Implementing a Generalized Version of Resolution |
128
click to vote
SAC
2008
ACM
15 years 3 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...
143
click to vote
OOPSLA
2010
Springer
15 years 2 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...
132
click to vote
CGO
2010
IEEE
15 years 10 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...
126
click to vote
FOCS
2007
IEEE
15 years 10 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...
132
click to vote
SIGIR
2005
ACM
15 years 9 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 ...