Sciweavers

2508 search results - page 161 / 502
» An analytic approach to stability
Sort
View
ICIC
2007
Springer
16 years 21 days 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»
16 years 21 days 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»
16 years 17 days 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
16 years 5 days 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
16 years 2 days 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