13383 search results - page 2423 / 2677 » Abstractions from proofs |
122
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
111
Voted
NSDI
2004
15 years 2 months ago
2004
This paper describes the design, implementation, and experimental evaluation of OverQoS, an overlay-based architecture for enhancing the best-effort service of today's Intern...
121
Voted
IIS
2003
15 years 2 months ago
2003
Abstract. In this paper we consider the problem of web search results clustering in the Polish language, supporting our analysis with results acquired from an experimental system n...
107
click to vote
IJCAI
2003
15 years 2 months ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...
106
click to vote
IJCAI
2003
15 years 2 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...