Sciweavers

2086 search results - page 241 / 418
» Mathematical Theory Exploration
Sort
View
FOCI
2007
IEEE
16 years 26 days ago
Almost All Learning Machines are Singular
— A learning machine is called singular if its Fisher information matrix is singular. Almost all learning machines used in information processing are singular, for example, layer...
Sumio Watanabe
GRC
2007
IEEE
16 years 26 days ago
MGRS in Incomplete Information Systems
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on the universe. In the view of granular computing, classica...
Yuhua Qian, Jiye Liang, Chuangyin Dang
AIME
2007
Springer
16 years 22 days ago
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
Arash Shaban-Nejad, Volker Haarslev
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
16 years 21 days ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder
CCS
2007
ACM
16 years 21 days ago
An algorithm for the appraisal of assurance indicators for complex business processes
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
Fabio Massacci, Artsiom Yautsiukhin