Sciweavers

831 search results - page 60 / 167
» Sweeping with Continuous Domains
Sort
View
IVS
2007
77views more  IVS 2007»
15 years 13 days ago
Designing semantic substrates for visual network exploration
A semantic substrate is a spatial template for a network, where nodes are grouped into regions and laid out within each region according to one or more node attributes. This paper...
Aleks Aris, Ben Shneiderman
189
Voted
CP
2009
Springer
16 years 1 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
91
Voted
KDD
2000
ACM
77views Data Mining» more  KDD 2000»
15 years 4 months ago
Small is beautiful: discovering the minimal set of unexpected patterns
A drawback of most traditional data mining methods is that they do not leverage prior knowledge of users. In many business settings, managers and analysts have significant intuiti...
Balaji Padmanabhan, Alexander Tuzhilin
106
Voted
SIGGRAPH
1995
ACM
15 years 4 months ago
Modeling surfaces of arbitrary topology using manifolds
We describe an extension of B-splines to surfacesof arbitrary topology, including arbitrary boundaries. The technique inherits many of the properties of B-splines: local control, ...
Cindy Grimm, John F. Hughes
105
Voted
BNCOD
2008
96views Database» more  BNCOD 2008»
15 years 2 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