Sciweavers

287 search results - page 29 / 58
» Data-Driven Constructive Induction
Sort
View
MLDM
2007
Springer
14 years 1 months ago
Discovering Plausible Explanations of Carcinogenecity in Chemical Compounds
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
Eva Armengol
AB
2007
Springer
14 years 1 months ago
Cascaded Games
We introduce a novel model construction, cascaded games, that is intended to allow us to study the notion of steady states algebraically and structurally. The model construction is...
Jittisak Senachak, Mun'delanji Vestergaard, Ren&ea...
RSCTC
1993
Springer
161views Fuzzy Logic» more  RSCTC 1993»
13 years 11 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
TCS
2008
13 years 7 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
TYPES
2000
Springer
13 years 11 months ago
A Tour with Constructive Real Numbers
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
Alberto Ciaffaglione, Pietro Di Gianantonio