Titlebook: Computational Science and Its Applications -- ICCSA 2013; 13th International C Beniamino Murgante,Sanjay Misra,Osvaldo Gervasi Conference p

NIL

A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extractioname set of feature extracted from the GLCM. The experimental results show that the features extracted from our fuzzy co-occurrence matrix yields a better classification performance than that from the regular GLCM. The best results on validation set using the features computed from our fuzzy co-occur

我還要背著他

Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systemscy of a conceptual work can be substantially increased if a human part of collaborative works will be fulfilled by designers in a form of an execution of programs written in a specialized pseudo-code language. Such programs simulate an experimental activity of designers investigating the own behavio

浮雕寶石

Modeling and Verification of Change Processes in Collaborative Software Engineering fact that the workers do not have sufficient information about the others’ work and complicated dependencies among artifacts can lead to unexpected inconsistencies among the change-impacted artifacts. By focusing on the contexts of the changes, i.e. the change processes containing the changes, rath

EWER

共同生活

平庸的人或物

KIN

阻止

miracle

Formalization and Model Checking of SysML State Machine Diagrams by CSP#f SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, we make several modifications and add new rules to the translation described in that work. First, we modify three translation rule

Obligatory