Sciweavers

2451 search results - page 151 / 491
» The Octagon Abstract Domain
Sort
View
EKAW
2006
Springer
15 years 9 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
CPAIOR
2008
Springer
15 years 8 months ago
Counting Solutions of Knapsack Constraints
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...
Gilles Pesant, Claude-Guy Quimper
194
Voted
ECAI
2008
Springer
15 years 8 months ago
Finding Key Bloggers, One Post At A Time
Abstract. User generated content in general, and blogs in particular, form an interesting and relatively little explored domain for mining knowledge. We address the task of blog di...
Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
187
Voted
IESA
2007
15 years 8 months ago
Business Level Service-Oriented Enterprise Application Integration
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
Stanislav Pokraev, Dick A. C. Quartel, Maarten W. ...
BNCOD
2008
96views Database» more  BNCOD 2008»
15 years 8 months ago
Smooth Interpolating Histograms with Error Guarantees
Abstract. Accurate selectivity estimations are essential for query optimization decisions where they are typically derived from various kinds of histograms which condense value dis...
Thomas Neumann, Sebastian Michel