1870 search results - page 77 / 374 » Abstract And-Parallel Machines |
B
1998
Springer
14 years 1 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
FASE
2000
Springer
14 years 1 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
BMCBI
2007
13 years 9 months ago
2007
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract-- The rapid growth of Web communities has motivated many solutions for building community data portals. These solutions follow roughly two approaches. The first approach (...
MICCAI
2008
Springer
14 years 10 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...