Sciweavers

1523 search results - page 170 / 305
» The Computational Complexity of Linear Optics
Sort
View
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 1 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
ICIP
1999
IEEE
16 years 8 months ago
Quadtrees for Embedded Surface Visualization: Constraints and Efficient Data Structures
The quadtree data structure is widely used in digital image processing and computer graphics for modeling spatial segmentation of images and surfaces. A quadtree is a tree in whic...
Laurent Balmelli, Jelena Kovacevic, Martin Vetterl...
SI3D
2003
ACM
15 years 11 months ago
A general joint component framework for realistic articulation in human characters
We present a general joint component framework model that is capable of exhibiting complex behavior of joints in articulated figures. The joints are capable of handling non-ortho...
Wei Shao, Victor Ng-Thow-Hing
ICC
2007
IEEE
16 years 22 days ago
Statistical Simulator for Block Coded Channels with Long Residual Interference
Abstract— In this paper, we present a simple statistical simulation technique for channels with long memory operating under coded data. The proposed technique employs a divideand...
Natasa Blitvic, Vladimir Stojanovic
EUROCRYPT
1997
Springer
15 years 10 months ago
A Secure and Optimally Efficient Multi-Authority Election Scheme
In this paper we present a new multi-authority secret-ballot election scheme that guarantees privacy, universal verifiability, and robustness. It is the first scheme for which the ...
Ronald Cramer, Rosario Gennaro, Berry Schoenmakers