Sciweavers

3113 search results - page 206 / 623
» Numerical Methods
Sort
View
FM
1994
Springer
104views Formal Methods» more  FM 1994»
15 years 10 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
BIOADIT
2006
Springer
15 years 10 months ago
Resilient Multi-path Routing Based on a Biological Attractor Selection Scheme
In this paper we propose a resilient scheme for multi-path routing using a biologically-inspired attractor selection method. The main advantage of this approach is that it is highl...
Kenji Leibnitz, Naoki Wakamiya, Masayuki Murata
IFL
2000
Springer
15 years 10 months ago
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
Clemens Grelck
RT
1995
Springer
15 years 10 months ago
Comparing Real and Synthetic Images: Some Ideas about Metrics
This paper explores numerical techniques for comparing real and synthetic luminance images. We introduce components of a perceptually based metric using ideas from the image compre...
Holly E. Rushmeier, Gregory J. Ward, Christine D. ...
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 9 months ago
Parameter approximate dynamic optimization for PSO systems
— This paper presents a novel swarm approximate dynamic programming method (swarm-ADP) for parameter optimization of PSO systems, from the perspective of optimal control. Based o...
Qi Kang, Lei Wang, Derong Liu, Qidi Wu