892 search results - page 105 / 179 » An efficient terminal and model order reduction algorithm |
168
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
130
Voted
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
136
Voted
DKE
2006
15 years 3 months ago
2006
The K-Closest-Pairs Query (K-CPQ), a type of distance join in spatial databases, discovers the K pairs of objects formed from two different datasets with the K smallest distances....
150
Voted
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
217
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we propose a rate-distortion optimized motion estimation algorithm that is built upon a quadtree structure. Each node of the quadtree represents a block in the curre...