6978 search results - page 1260 / 1396 » On Proofs in System P |
160
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
183
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper a system is presented which automatically registers and stitches textures acquired from multiple photographic images onto the surface of a given corresponding 3D mod...
197
click to vote
SBRN
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...
145
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
The test signal method can be used to measure and model inductance parameters (self and mutual) of a very small interconnect especially in highdensity IC’s by using a test signa...
176
click to vote
VR
2000
IEEE
15 years 10 months ago
2000
IEEE
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...