Sciweavers

5599 search results - page 797 / 1120
» Abstract State Services
Sort
View
209
Voted
CLEAR
2007
Springer
159views Biometrics» more  CLEAR 2007»
16 years 1 months ago
Probabilistic Head Pose Tracking Evaluation in Single and Multiple Camera Setups
Abstract. This paper presents our participation in the CLEAR 07 evaluation workshop head pose estimation tasks where two head pose estimation tasks were to be addressed. The first...
Sileye O. Ba, Jean-Marc Odobez
SPIN
2007
Springer
16 years 1 months ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
ASPLOS
2006
ACM
16 years 1 months ago
Type inference for unboxed types and first class mutability
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
Swaroop Sridhar, Jonathan S. Shapiro
IMC
2005
ACM
16 years 1 months ago
Poisson versus Periodic Path Probing (or, Does PASTA Matter?)
Abstract— The well-known PASTA (“Poisson Arrivals See Time Averages”) property states that, under very general conditions, the fraction of Poisson arrivals that observe an un...
Muhammad Mukarram Bin Tariq, Amogh Dhamdhere, Cons...
187
Voted
ACNS
2005
Springer
84views Cryptology» more  ACNS 2005»
16 years 1 months ago
Non-interactive Zero-Knowledge Arguments for Voting
Abstract. In voting based on homomorphic threshold encryption, the voter encrypts his vote and sends it in to the authorities that tally the votes. If voters can send in arbitrary ...
Jens Groth