Sciweavers

1592 search results - page 121 / 319
» On the Equality of Probabilistic Terms
Sort
View
SIGIR
2010
ACM
15 years 10 months ago
Personalize web search results with user's location
We build a probabilistic model to identify implicit local intent queries, and leverage user’s physical location to improve Web search results for these queries. Evaluation on co...
Yumao Lu, Fuchun Peng, Xing Wei, Benoît Dumo...
DAGM
2006
Springer
15 years 10 months ago
Dense Stereo by Triangular Meshing and Cross Validation
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. ...
IASTEDCCS
2004
100views Hardware» more  IASTEDCCS 2004»
15 years 7 months ago
On the analysis of digital circuits with uncertain inputs
Unlike the classical deterministic digital circuit analysis, we consider the analysis of uncertain digital circuits defined as follows. Given a binary function of n uncertain inpu...
Houssain Kettani
MSCS
2006
89views more  MSCS 2006»
15 years 6 months ago
Quantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
Ellie D'Hondt, Prakash Panangaden
JLP
2007
98views more  JLP 2007»
15 years 6 months ago
Tempus fugit: How to plug it
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
Alessandra Di Pierro, Chris Hankin, Igor Siveroni,...