بر اساس عنوان
116
A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F152
A Formal Verification Analysis of a Bayesian Inference-Based Sensors and Actuators Control System178
A Formalism for Description and Synthesis of Logical Algorithms and their Hardware Implementation205
A formalization of on-line handwritten Japanese text recognition free from line direction constraint217
A Formalized Procedure for the Prediction and Analysis of Multichannel Tropospheric Scatter Circuits253
A formation control approach with autonomous navigation of multi-robot system in unknown environment371
A forward kinematics based statistical method for the pose errors of a 6-dof parallel manipulator386
A Forward Pointer based mobility management scheme for multi-hop multi-path wireless mesh network388
A forward pulse-width modulated quasi-resonant converter: analysis, design and experimental results417
A forwarding scheme for reliable and energy-efficient data delivery in cluster-based sensor networks461
A foundry fabricated surface-micromachined high-speed rotation sensor using wireless transmission515
A Four Quadrant Magnet Power Supply for Superconducting and Conventional Accelerator Applications541
A four-bit digital microinjector using microheater array for adjusting the ejected droplet volume581
A four-component decomposition integrating selective deorientation and generalized volume scattering682
A four-layer neural network model of the equivalent luminous-efficiency function in the human vision684
A Four-Layer Success Factor View Model of Mobile Social Games: Analysis of Mobage Success in Japan761
A four-state DMMPP for characterizing multimedia traffic with short-term and long-term correlations764
A Four-State Markov Model Based on Measurements for Evaluating the Packet-level Performance of VANET780
A Four-Terminal Pair Coaxial Ratio Bridge for the Realisation of the Capacitance Scale at CSIR-NML.788
A fourth gradient to overcome slice dependent phase effects of voxel-sized coils in planar arrays842
A four-variable programmable universal logic module using digital summation threshold logic gates860
A foveal vision based spatial prefetch method on digital earth platform for performance improvement881
A FPGA based fast DC link voltage controller for stand-alone diesel engine driven generator systems885
A FPGA based modular coincidence arbitrator design for Compton camera with multiple detection blocks938
A FPGA-based Dewavefront Array Prototype Implementing the Quadrant Interlocking Factorization Method971
A fractal analysis of CT liver images for the discrimination of hepatic lesions: a comparative study