Sciweavers

831 search results - page 60 / 167
» Sweeping with Continuous Domains
Sort
View
IVS
2007
77views more  IVS 2007»
13 years 8 months 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
CP
2009
Springer
14 years 9 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
KDD
2000
ACM
77views Data Mining» more  KDD 2000»
14 years 13 days 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
SIGGRAPH
1995
ACM
14 years 12 days 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
BNCOD
2008
96views Database» more  BNCOD 2008»
13 years 10 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