Sciweavers

5353 search results - page 767 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
AUTOMATICA
2007
75views more  AUTOMATICA 2007»
15 years 7 months ago
System theory for numerical analysis
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
Kenji Kashima, Yutaka Yamamoto
162
Voted
AUTOMATICA
2008
98views more  AUTOMATICA 2008»
15 years 7 months ago
An algorithm for bounded-error identification of nonlinear systems based on DC functions
This paper presents a guaranteed method for the parameter estimation of nonlinear models in a bounded-error context. This method is based on functions which consists of the differ...
J. M. Bravo, T. Alamo, M. J. Redondo, Eduardo F. C...
CAD
2008
Springer
15 years 7 months ago
Optimization of 5-axis high-speed machining using a surface based approach
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
Sylvain Lavernhe, Christophe Tournier, Claire Lart...
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 7 months ago
Bounded Rationality, Strategy Simplification, and Equilibrium
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
Hubie Chen
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 6 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii