1176 search results - page 47 / 236 » Implicit Abstraction Heuristics |
WWW
2008
ACM
14 years 10 months ago
2008
ACM
The paper proposes identifying relevant information sources from the history of combined searching and browsing behavior of many Web users. While it has been previously shown that...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
We consider the problem of joining data streams using limited cache memory, with the goal of producing as many result tuples as possible from the cache. Many cache replacement heu...
ICTAC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
IBPRIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We have investigated a combination of statistical modelling and expectation maximisation for a texture based approach to the segmentation of mammographic images. Texture ...
ADG
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...