Sciweavers

1818 search results - page 20 / 364
» Operant conditioning
Sort
View
ASIACRYPT
2008
Springer
13 years 10 months ago
Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
Andy Rupp, Gregor Leander, Endre Bangerter, Alexan...
ETRA
2008
ACM
139views Biometrics» more  ETRA 2008»
13 years 10 months ago
Limbus/pupil switching for wearable eye tracking under variable lighting conditions
We present a low-cost wearable eye tracker built from off-the-shelf components. Based on the open source openEyes project (the only other similar effort that we are aware of), our...
Wayne J. Ryan, Andrew T. Duchowski, Stanley T. Bir...
NIPS
2004
13 years 10 months ago
Conditional Random Fields for Object Recognition
We present a discriminative part-based approach for the recognition of object classes from unsegmented cluttered scenes. Objects are modeled as flexible constellations of parts co...
Ariadna Quattoni, Michael Collins, Trevor Darrell
SIAMSC
2008
113views more  SIAMSC 2008»
13 years 8 months ago
Statistical Condition Estimation for the Roots of Polynomials
This paper presents fast and reliable condition estimates for the roots of a real polynomial based on the method of statistical condition estimation (SCE) by Kenney and Laub. Using...
A. J. Laub, J. Xia
ENTCS
2008
136views more  ENTCS 2008»
13 years 8 months ago
Multimodal Separation Logic for Reasoning About Operational Semantics
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
Robert Dockins, Andrew W. Appel, Aquinas Hobor