Sciweavers

3119 search results - page 260 / 624
» General Default Logic
Sort
View
FUZZY
2001
Springer
184views Fuzzy Logic» more  FUZZY 2001»
15 years 10 months ago
Handwritten Digit Recognition: A Neural Network Demo
Abstract. A handwritten digit recognition system was used in a demonstration project to visualize artificial neural networks, in particular Kohonen’s self-organizing feature map...
Berend-Jan van der Zwaag
DOOD
1993
Springer
135views Database» more  DOOD 1993»
15 years 10 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
RSCTC
1993
Springer
161views Fuzzy Logic» more  RSCTC 1993»
15 years 10 months ago
Quantifying Uncertainty of Knowledge Discovered From Databases
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...
Yang Xiang, S. K. Michael Wong, Nick Cercone
BIRTHDAY
2006
Springer
15 years 10 months ago
Proving Behavioral Refinements of COL-specifications
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
Michel Bidoit, Rolf Hennicker
RSCTC
2000
Springer
146views Fuzzy Logic» more  RSCTC 2000»
15 years 9 months ago
An Algorithm for Induction of Decision Rules Consistent with the Dominance Principle
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
Salvatore Greco, Benedetto Matarazzo, Roman Slowin...