Sciweavers

882 search results - page 81 / 177
» Visibility-driven transfer functions
Sort
View
ACNS
2010
Springer
134views Cryptology» more  ACNS 2010»
13 years 9 months ago
Efficient and Secure Evaluation of Multivariate Polynomials and Applications
In this work, we design two-party and multiparty protocols for evaluating multivariate polynomials at participants' inputs with security against a malicious adversary who may ...
Matthew K. Franklin, Payman Mohassel
CAV
2010
Springer
156views Hardware» more  CAV 2010»
13 years 8 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
SCL
2008
87views more  SCL 2008»
13 years 7 months ago
Stabilizability of two-dimensional linear systems via switched output feedback
The problem of stabilizing a second-order SISO LTI system of the form x = Ax + Bu, y = Cx with feedback of the form u(x) = v(x)Cx is considered, where v(x) is real-valued and has ...
Keith R. Santarelli, Alexandre Megretski, Munther ...
AML
2005
73views more  AML 2005»
13 years 7 months ago
Strong reducibility of partial numberings
A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numberin...
Dieter Spreen
VIS
2008
IEEE
135views Visualization» more  VIS 2008»
14 years 9 months ago
Interactive Volume Exploration for Feature Detection and Quantification in Industrial CT Data
This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantif...
Markus Hadwiger, Laura Fritz, Christof Rezk-Sala...