Sciweavers

4099 search results - page 753 / 820
» A Framework for Interactive Proof
Sort
View
MMAS
2010
Springer
14 years 4 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
PAMI
2010
225views more  PAMI 2010»
14 years 4 months ago
Semi-Supervised Classification via Local Spline Regression
Abstract--This paper presents local spline regression for semisupervised classification. The core idea in our approach is to introduce splines developed in Sobolev space to map the...
Shiming Xiang, Feiping Nie, Changshui Zhang
SYNTHESE
2010
98views more  SYNTHESE 2010»
14 years 4 months ago
Equilibria in social belief removal
In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one ...
Richard Booth, Thomas Meyer
TRETS
2010
109views more  TRETS 2010»
14 years 4 months ago
Improving the Robustness of Ring Oscillator TRNGs
A ring oscillator based true-random number generator design (Rings design) was introduced in [1]. The design was rigorously analyzed under a mathematical model and its performance...
Sang-Kyung Yoo, Deniz Karakoyunlu, Berk Birand, Be...
CVPR
2011
IEEE
14 years 1 months ago
Probabilistic Gaze Estimation Without Active Personal Calibration
Existing eye gaze tracking systems typically require an explicit personal calibration process in order to estimate certain person-specific eye parameters. For natural human compu...
Jixu Chen, Qiang Ji