Sciweavers

3044 search results - page 347 / 609
» Linear logical approximations
Sort
View
HAPTICS
2005
IEEE
16 years 9 days ago
Friction Modeling and Compensation for Haptic Interfaces
Friction cancellation and high gain force feedback are studied for their relative benefits in mitigating the effects of friction in haptic interfaces. Although either technique a...
Nicholas L. Bernstein, Dale A. Lawrence, Lucy Y. P...
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 9 days ago
A Fourier series-based RLC interconnect model for periodic signals
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Guoqing Chen, Eby G. Friedman
ICANN
2005
Springer
16 years 7 days ago
Informational Energy Kernel for LVQ
We describe a kernel method which uses the maximization of Onicescu’s informational energy as a criteria for computing the relevances of input features. This adaptive relevance d...
Angel Cataron, Razvan Andonie
ISNN
2004
Springer
16 years 2 days ago
Robust Adaptive Control Using Neural Networks and Projection
Abstract. By using differential neural networks, we present a novel robust adaptive controller for a class of unknown nonlinear systems. First, dead-zone and projection techniques...
Xiaoou Li, Wen Yu
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
16 years 1 days ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan