Sciweavers

2015 search results - page 186 / 403
» Some Observations on Indifferentiability
Sort
View
PAMI
2007
127views more  PAMI 2007»
15 years 4 months ago
Stereo Correspondence with Occlusion Handling in a Symmetric Patch-Based Graph-Cuts Model
—A novel patch-based correspondence model is presented in this paper. Many segment-based correspondence approaches have been proposed in recent years. Untextured pixels and bound...
Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang
AMI
2010
Springer
15 years 3 months ago
Reduction of Driver Stress Using AmI Technology while Driving in Motorway Merging Sections
Abstract. High average intensity of traffic and problems like traffic congestions, road safety, etc. are challenging problems striking highway operators in these days. With the bro...
Kashif Zia, Andreas Riener, Alois Ferscha
177
Voted
BMCBI
2008
214views more  BMCBI 2008»
15 years 3 months ago
Enhanced Bayesian modelling in BAPS software for learning genetic structures of populations
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
Jukka Corander, Pekka Marttinen, Jukka Siré...
ECCC
2010
98views more  ECCC 2010»
15 years 3 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
131
Voted
IANDC
2010
84views more  IANDC 2010»
15 years 3 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman