Sciweavers

1126 search results - page 42 / 226
» Modularity and the Rule of Adaptation
Sort
View
HASE
2002
IEEE
15 years 4 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
INFORMATICALT
2002
154views more  INFORMATICALT 2002»
14 years 11 months ago
Adaptive Stable Control of Manipulators with Improved Adaptation Transients by Using On-line Supervision of the Free-Parameters
An adaptive control scheme for mechanical manipulators is proposed. The control loop essentially consists of a network for learning the robot's inverse dynamics and on-line ge...
Manuel de la Sen, Ana Almansa
OOPSLA
2004
Springer
15 years 4 months ago
Efficient data race and deadlock prevention in concurrent object-oriented programs
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
Piotr Nienaltowski
AISC
2008
Springer
15 years 1 months ago
Unit Knowledge Management
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
Jonathan Stratford, James H. Davenport
SNPD
2010
15 years 21 days ago
Explaining Classification by Finding Response-Related Subgroups in Data
Abstract--A method for explaining results of a regressionbased classifier is proposed. The data is clustered using a metric extracted from the classifier. This way, clusters found ...
Elina Parviainen, Aki Vehtari