Sciweavers

5599 search results - page 797 / 1120
» Abstract State Services
Sort
View
CLEAR
2007
Springer
159views Biometrics» more  CLEAR 2007»
16 years 26 days 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 24 days 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 20 days 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 8 days 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...
ACNS
2005
Springer
84views Cryptology» more  ACNS 2005»
16 years 7 days 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