Sciweavers

3707 search results - page 172 / 742
» A Simple Technique for Self-Calibration
Sort
View
CAE
2010
15 years 1 months ago
Interactive Volume Illustration Using Intensity Filtering
We propose a simple and interactive technique for volume illustration by using the difference between the original intensity values and a low-pass filtered copy. This difference, ...
Marc Ruiz, Imma Boada, Miquel Feixas, Mateu Sbert
DCC
2011
IEEE
15 years 1 months ago
Computing bilinear pairings on elliptic curves with automorphisms
In this paper, we present a novel method for constructing a super-optimal pairing with great efficiency, which we call the omega pairing. The computation of the omega pairing requi...
Changan Zhao, Dongqing Xie, Fangguo Zhang, Jingwei...
ECCC
2011
185views ECommerce» more  ECCC 2011»
15 years 1 months ago
Property Testing Lower Bounds via Communication Complexity
We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for r...
Eric Blais, Joshua Brody, Kevin Matulef
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 1 months ago
Treemaps with Bounded Aspect Ratio
Treemaps are a popular technique to visualize hierarchical data. The input is a weighted tree T where the weight of each node is the sum of the weights of its children. A treemap ...
Mark de Berg, Bettina Speckmann, Vincent van der W...
NFM
2011
252views Formal Methods» more  NFM 2011»
15 years 1 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer