Sciweavers

1162 search results - page 99 / 233
» An Information-Based Theory of Conditionals
Sort
View
CADE
2005
Springer
16 years 6 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard

Book
3101views
17 years 5 months ago
Steven Shreve: Stochastic Calculus and Finance
This is a great draft book about stochastic calculus and finance. It covers large number of topics such as Introduction to Probability Theory, Conditional Expectation, Arbitrage Pr...
Prasad Chalasani, Somesh Jha
CVPR
2008
IEEE
16 years 8 months ago
Shading models for illumination and reflectance invariant shape detectors
Many objects have smooth surfaces of a fairly uniform color, thereby exhibiting shading patterns that reveal information about its shape, an important clue to the nature of the ob...
Peter Nillius, Josephine Sullivan, Antonis A. Argy...
ICIP
2006
IEEE
16 years 8 months ago
Exact Local Reconstruction Algorithms for Signals with Finite Rate of Innovation
Consider the problem of sampling signals which are not bandlimited, but still have a finite number of degrees of freedom per unit of time, such as, for example, piecewise polynomi...
Pier Luigi Dragotti, Martin Vetterli, Thierry Blu
STOC
2005
ACM
110views Algorithms» more  STOC 2005»
16 years 6 months ago
Key agreement from weak bit agreement
Assume that Alice and Bob, given an authentic channel, have a protocol where they end up with a bit SA and SB, respectively, such that with probability 1+ 2 these bits are equal. ...
Thomas Holenstein