3575 search results - page 368 / 715 » Presentations of computably enumerable reals |
156
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel experimental apparatus for the capture and replay of physical controls (mechanical knobs), as well as a set of acquired models and a design discussion related t...
205
click to vote
ICDM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a recommendation algorithm that performs a query dependent random walk on a k-partite graph constructed from the various features relevant to the recommendatio...
145
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
An algorithm is presented that automatically generates groundtruthed video from a symbolic description for an object and a specification for the movement of a handheld video camer...
259
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, stereo matching and 3D visualization issues are studied for a linear pushbroom stereo model built for 3D gamma-ray (or x-ray) cargo inspection. A fast and automated...
197
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...