Sciweavers

6434 search results - page 329 / 1287
» Model Transformations with Reference Models
Sort
View
ICIC
2007
Springer
16 years 25 days ago
Usage of Hybrid Neural Network Model MLP-ART for Navigation of Mobile Robot
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
Andrey Gavrilov, Sungyoung Lee
APSEC
2005
IEEE
16 years 9 days ago
Architectural Style - Based Modeling and Simulation of Complex Software Systems
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
Ping Guo, Gregor Engels, Reiko Heckel
AE
2005
Springer
16 years 7 days ago
An Exponential Representation in the API Algorithm for Hidden Markov Models Training
In this paper, we show how an efficient ant based algorithm, called API and initially designed to perform real parameter optimization, can be adapted to the difficult problem of Hi...
Sebastien Aupetit, Nicolas Monmarché, Moham...
ICSE
1994
IEEE-ACM
15 years 10 months ago
Prototyping a Visual Formalism for System Modelling
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
Michael W. Godfrey, Richard C. Holt, Spiros Mancor...
LANMR
2007
15 years 8 months ago
Equivalence for the G3'-stable models semantics
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
José Luis Carballido, José Arrazola,...