Sciweavers

7628 search results - page 1363 / 1526
» Spatial P systems
Sort
View
142
Voted
ICRA
2000
IEEE
136views Robotics» more  ICRA 2000»
15 years 9 months ago
Registration of Range Data Using a Hybrid Simulated Annealing and Iterative Closest Point Algorithm
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...
Jason P. Luck, Charles Q. Little, William Hoff
KBSE
2000
IEEE
15 years 9 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
PG
2000
IEEE
15 years 9 months ago
Automated Texture Registration and Stitching for Real World Models
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...
Hendrik P. A. Lensch, Wolfgang Heidrich, Hans-Pete...
173
Voted
SBRN
2000
IEEE
15 years 9 months ago
Non-Linear Modelling and Chaotic Neural Networks
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...
Antonia J. Jones, Steve Margetts, Peter Durrant, A...
VLSID
2000
IEEE
102views VLSI» more  VLSID 2000»
15 years 9 months ago
Inductance Characterization of Small Interconnects Using Test-Signal Method
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...
Jeegar Tilak Shah, Madhav P. Desai, Sugata Sanyal
« Prev « First page 1363 / 1526 Last » Next »