Sciweavers

1172 search results - page 3 / 235
» Constructions of generalized Sidon sets
Sort
View
VMCAI
2005
Springer
13 years 11 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
CHI
2011
ACM
12 years 9 months ago
Eden: a professional multitouch tool for constructing virtual organic environments
Set construction is the process of selecting and positioning virtual geometric objects to create a virtual environment used in a computer-animated film. Set construction artists ...
Kenrick Kin, Tom Miller, Björn Bollensdorff, ...
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
13 years 11 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli
ICDT
2010
ACM
137views Database» more  ICDT 2010»
13 years 4 months ago
A Greedy Algorithm for Constructing a Low-Width Generalized Hypertree Decomposition
We propose a greedy algorithm which, given a hypergraph H and a positive integer k, produces a hypertree decomposition of width less than or equal to 3k −1, or determines that H...
Kaoru Katayama, Tatsuro Okawara, Yuka Itou
WSCG
2003
163views more  WSCG 2003»
13 years 7 months ago
Constructing Approximate Voronoi Diagrams from Digital Images of Generalized Polygons and Circular Objects
In this paper we present the geometrical construction of an approximate generalized Voronoi diagram for generalized polygons and circular objects based on their minimum geometrica...
W. L. Roque, D. Doering