Sciweavers

4693 search results - page 646 / 939
» Verifying Hybrid Systems
Sort
View
SIP
2003
15 years 8 months ago
Object Structure from Noisy Images
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
Gabriele Peters
ESANN
2000
15 years 8 months ago
A comparative design of a MIMO neural adaptive rate damping for a nonlinear helicopter model
Using a nonlinear 15-state helicopter model in 6 DOF, two di erent neural control systems, both acting as rate damping, have been designed and compared. They are both based on the ...
Piero A. Gili, Manuela Battipede
WSC
1998
15 years 8 months ago
Validation and Verification of the Simulation Model of a Photolithography Process in Semiconductor Manufacturing
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
Nirupama Nayani, Mansooreh Mollaghasemi
WSC
1998
15 years 8 months ago
Simulation and Production Planning for Manufacturing Cells
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
Shahram Taj, David S. Cochran, James W. Duda, Joch...
DLOG
1996
15 years 8 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner