Sciweavers

2508 search results - page 161 / 502
» An analytic approach to stability
Sort
View
ICIC
2007
Springer
15 years 7 months ago
Fuzzy Modeling Via On-Line Clustering and Support Vector Machine
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...
Julio César Tovar, Wen Yu, Xiaoou Li
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 7 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
15 years 7 months ago
Control of a Nonholonomic Mobile Robot Via Sensor-based Target Tracking and Pose Estimation
— The paper addresses the problem of controlling the posture of a nonholonomic mobile robot via sensor-based target tracking. The control technique here considered is adapted fro...
M. Maya-Mendez, Pascal Morin, Claude Samson
HAPTICS
2005
IEEE
15 years 7 months ago
Stable and Responsive Six-Degree-of-Freedom Haptic Manipulation Using Implicit Integration
In this paper we present a novel approach for simulating the rigid body dynamics of a haptically manipulated object using implicit integration. Our formulation requires the linear...
Miguel A. Otaduy, Ming C. Lin
EUROPAR
2005
Springer
15 years 7 months ago
Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding
Maintaining spanning trees in a distributed fashion is central to many networking applications. In this paper, we propose a self-stabilizing algorithm for maintaining a spanning tr...
Vijay K. Garg, Anurag Agarwal