Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems) "

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 10.

Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (The full text of this publication is not available from this repository)

Hojjatoleslami, A. and Kittler, J. (1996) Detection of clusters of microcalcifications using a K-nearest neighbour classifier. Digital Mammography, IEE Colloquium on (10/1). (The full text of this publication is not available from this repository)

Hojjatoleslami, A. and Kittler, J. (1996) Detection of clusters of microcalcifications using a K-nearest neighbour rule with locally optimum distance metrics. Digital Mammography, IEE Colloquium on . pp. 267-272. (The full text of this publication is not available from this repository)

Kittler, J. and Hojjatoleslami, A. and Windeatt, T. (1997) Strategies for combining classifiers using shared and distinct representations. Pattern recognition letters, 18 (11-13). pp. 1373-1377. ISSN 0167-8655. (The full text of this publication is not available from this repository)

Ratnarajah, N. and Simmons, A. and Davydov, O. and Hojjatoleslami, A. (2010) A Novel White Matter Fibre Tracking Algorithm Using Probabilistic Tractography and Average Curves. MICCAI, 6361 . pp. 666-673. ISSN 0302-9743. (The full text of this publication is not available from this repository)

Rosenkranz, Markus (2004) The Algorithmization of Physics: Math Between Science and Engineering. In: Buchberger, B. and Campbell, J.A., eds. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Lecture Notes in Computer Science, 3249 . Springer, pp. 1-7. ISBN 9783540232124. (The full text of this publication is not available from this repository)

Salama, K.M. and Freitas, A.A. (2012) ABC-Miner: an ant-based Bayesian classification algorithm. In: Swarm Intelligence: 8th International Conference (ANTS 2012). , September, 2012, Brussels, Belgium. (The full text of this publication is not available from this repository)

Wandekokem, Estefhan Dazzi and Mendel, Eduardo and Fabris, Fabio and Valentim, Marcelo and Batista, Rodrigo J. and Varejao, Flavio M and Rauber, Thomas W. (2011) Diagnosing Multiple Faults in Oil Rig Motor Pumps Using Support Vector Machine Classifier Ensembles. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Williamson, J. (2010) Epistemic complexity from an objective Bayesian perspective. In: Causality, meaningful complexity and embodied cognition. Theory and Decision Library A, 46 (4). Springer, pp. 231-246. (The full text of this publication is not available from this repository)

Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus (2006) Theorema. In: Wiedijk, Freek, ed. The Seventeen Provers of the World. Lecture Notes in Artificial Intelligence, 3600 . Springer, pp. 96-107. ISBN 9783540307044. (The full text of this publication is not available from this repository)

This list was generated on Sun Apr 20 23:00:23 2014 BST.