5964 search results - page 121 / 1193 » A theory of speculative computation |
130
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
148
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Flat refractive geometry corresponds to a perspective camera looking through single/multiple parallel flat refractive mediums. We show that the underlying geometry of rays corres...
201
click to vote
Lecture Notes
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
231
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...
107
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that