Sciweavers

4987 search results - page 867 / 998
» Fuzzifying P Systems
Sort
View
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, ...
161
Voted
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...
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
149
Voted
VR
2000
IEEE
208views Virtual Reality» more  VR 2000»
15 years 9 months ago
Virtual Environment Applications in Clinical Neuropsychology
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...
Albert A. Rizzo, J. Galen Buckwalter, Cheryl van d...