998 search results - page 132 / 200 » From Feasible Proofs to Feasible Computations |
AINA
2009
IEEE
13 years 7 months ago
2009
IEEE
Determining the time and means by which to travel from location A to location B for a person utilising a MANET requires the dissemination of both realtime and historic data. In thi...
ICNS
2009
IEEE
13 years 7 months ago
2009
IEEE
All optical switching has been proposed as a candidate to allow high capacity networking in the future. Currently, Optical Circuit Switching has been widely deployed, although thi...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
We present a markerless motion capture approach that reconstructs the skeletal motion and detailed time-varying surface geometry of two closely interacting people from multi-view ...
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
We present a method for estimating the relative pose of two calibrated or uncalibrated non-overlapping surveillance cameras from observing a moving object. We show how to tackle t...