878 search results - page 57 / 176 » Interacting Abstract State Machines |
169
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
146
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
120
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
151
click to vote
SFP
2003
15 years 5 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
102
click to vote
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents a machine-learning approach to the interactive classification of suspected liver metastases in fMRI images. The method uses fMRI-based statistical mod...