Sciweavers

136 search results - page 4 / 28
» About Duval's Conjecture
Sort
View
FSS
2010
105views more  FSS 2010»
13 years 4 months ago
On the (fuzzy) logical content of CADIAG-2
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...
Thomas Vetterlein, Agata Ciabattoni
CORR
2008
Springer
213views Education» more  CORR 2008»
13 years 7 months ago
Between conjecture and memento: shaping a collective emotional perception of the future
Abstract Microblogging is a form of online communication by which users broadcast brief text updates, also known as tweets, to the public or a selected circle of contacts. A varieg...
Alberto Pepe, Johan Bollen
IJMMS
2000
76views more  IJMMS 2000»
13 years 7 months ago
On the notion of interestingness in automated mathematical discovery
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
Simon Colton, Alan Bundy, Toby Walsh
CADE
2004
Springer
14 years 7 months ago
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
Graham Steel, Alan Bundy, Monika Maidl
AE
2007
Springer
14 years 1 months ago
A Study of Crossover Operators for Gene Selection of Microarray Data
Classification of microarray data requires the selection of a subset of relevant genes in order to achieve good classification performance. Several genetic algorithms have been d...
Jose Crispin Hernandez Hernandez, Béatrice ...