3779 search results - page 719 / 756 » Linear Consistency Testing |
172
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
159
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
159
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientific computation. Researchers can d...
180
click to vote
ICMI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the facial expressivity of Embo...
157
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...