741 search results - page 140 / 149 » A Local System for Classical Logic |
OSDI
1996
ACM
13 years 8 months ago
1996
ACM
Traditional processor scheduling mechanisms in operating systems are fairly rigid, often supportingonly one fixed scheduling policy, or, at most, a few "scheduling classes&qu...
DLOG
2009
13 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using the classic...