Sciweavers

1523 search results - page 170 / 305
» The Computational Complexity of Linear Optics
Sort
View
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 11 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
161
Voted
ICIP
1999
IEEE
16 years 5 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 9 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
122
Voted
ICC
2007
IEEE
15 years 10 months 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
137
Voted
EUROCRYPT
1997
Springer
15 years 7 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