Sciweavers

1819 search results - page 256 / 364
» Computability and Representations of the Zero Set
Sort
View
PVLDB
2008
116views more  PVLDB 2008»
15 years 5 months ago
Tighter estimation using bottom k sketches
Summaries of massive data sets support approximate query processing over the original data. A basic aggregate over a set of records is the weight of subpopulations specified as a ...
Edith Cohen, Haim Kaplan
CAE
2010
15 years 1 months ago
Stroke Matching for Paint Dances
We have implemented a non-photorealistic rendering system which simulates the placement of paint/pencil/pastel strokes to produce representational artworks from digital images. Th...
Simon Colton
CVPR
2010
IEEE
16 years 2 months ago
Two Perceptually Motivated Strategies for Shape Classification
In this paper, we propose two new, perceptually motivated strategies to better measure the similarity of 2D shape instances that are in the form of closed contours. The first strat...
Andrew Temlyakov, Brent C. Munsell, Jarrell W. Wag...
FOSSACS
2009
Springer
16 years 1 months ago
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
Christopher Broadbent, C.-H. Luke Ong
ICCS
2007
Springer
16 years 14 days ago
Density Based Fuzzy Membership Functions in the Context of Geocomputation
Geocomputation has a long tradition in dealing with fuzzyness in different contexts, most notably in the challenges created by the representation of geographic space in digital for...
Victor Sousa Lobo, Fernando Bação, M...