Search Sciweavers | Sciweavers

348 search results - page 2 / 70

» Contrasting Classification with Generalisation

click to vote

ICGI
2010
Springer

124views Natural Language Processing» more ICGI 2010»

Sequences Classification by Least General Generalisations

13 years 3 months ago

Download www.grappa.univ-lille3.fr

Frédéric Tantini, Alain Terlutte, Fa...

claim paper

Read More »

click to vote

COMBINATORICS
2006

114views more COMBINATORICS 2006»

Hayman Admissible Functions in Several Variables

13 years 5 months ago

Download www.combinatorics.org

An alternative generalisation of Hayman's concept of admissible functions to functions in several variables is developed and a multivariate asymptotic expansion for the coeff...

Bernhard Gittenberger, Johannes Mandlburger

claim paper

Read More »

click to vote

TPHOL
2007
IEEE

131views Automated Reasoning» more TPHOL 2007»

Formalising Generalised Substitutions

13 years 11 months ago

Download users.cecs.anu.edu.au

Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...

Jeremy E. Dawson

claim paper

Read More »

click to vote

DKE
2008

88views more DKE 2008»

Conceptual equivalence for contrast mining in classification learning

13 years 5 months ago

Download www.cs.uvm.edu

Ying Yang, Xindong Wu, Xingquan Zhu

claim paper

Read More »