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

15 years 8 days 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

15 years 2 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 »

108

click to vote

TPHOL
2007
IEEE

131views Automated Reasoning» more TPHOL 2007»

Formalising Generalised Substitutions

15 years 8 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

15 years 2 months ago

Download www.cs.uvm.edu

Ying Yang, Xindong Wu, Xingquan Zhu

claim paper

Read More »