54 search results - page 4 / 11 » Computing the Pessimism of Inclusion Functions |
EUC
2006
Springer
15 years 1 months ago
2006
Springer
Context delivery is an inevitable issue for ubiquitous computing. Context-aware middlewares perform all the functions of context sensing, inferring and delivery to context-aware ap...
FCT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
GI
1997
Springer
15 years 1 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
EVOW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Electric Sheep is a distributed screen-saver that harnesses idle computers into a render farm with the purpose of animating and evolving artificial life-forms known as s...