A Linear-Time Algorithm for the Copy Number Transformation Problem Ron Shamir1 , Meirav Zehavi1 , and Ron Zeira1 1 2 3

Source URL: drops.dagstuhl.de

On-line Multi-label Classification A Problem Transformation Approach Jesse Read Supervisors: Bernhard Pfahringer, Geoff Holmes

Source URL: jmread.github.io

A Pruned Problem Transformation Method for Multi-label Classification Jesse Read University of Waikato, Hamilton, New Zealand

Source URL: users.ics.aalto.fi

On-line Multi-label Classification A Problem Transformation Approach Jesse Read Supervisors: Bernhard Pfahringer, Geoff Holmes

Source URL: users.ics.aalto.fi

• Statistical classification
• Machine learning
• Learning
• Artificial intelligence
• Statistics
• Multi-label classification
• Support vector machine
• Naive Bayes classifier
• AdaBoost
• Binary classification
• Classifier chains
• Multiclass classification

1 On the field isomorphism problem of generic polynomials via formal Tschirnhausen transformation Akinari Hoshi and Katsuya Miyake Let k be a field and G a finite group. A k-generic polynomial for G covers all G-Galo

Source URL: staff.miyakyo-u.ac.jp

• Algebra
• Mathematics
• Abstract algebra
• Polynomials
• Galois theory
• Orthogonal polynomials
• Field theory
• Generic polynomial
• Quintic function
• Transcendental number
• Elliptic curve
• SturmLiouville theory

Microsoft Word - IBSdoc

Source URL: foibg.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Electronic design automation
• Algebraic logic
• Tseytin transformation
• Boolean satisfiability problem
• Conjunctive normal form
• Canonical normal form

A Pruned Problem Transformation Method for Multi-label Classification Jesse Read University of Waikato

Source URL: jmread.github.io

Pattern Matching in MOLA Agris Sostaks IMCS University of Latvia, Latvia Abstract. This paper addresses the pattern matching problem for model

Source URL: melnais.mii.lu.lv

• Software engineering
• Computer programming
• Graph rewriting
• VIATRA
• Pattern matching
• Transformation language
• Metamodeling
• GrGen
• Iterator
• Rete algorithm
• Foreach loop
• Mola

Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2

Source URL: www.mancoosi.org

• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• True quantified Boolean formula
• Maximum satisfiability problem
• Model checking
• Conjunctive normal form
• Satisfiability
• Tseytin transformation

Choropleth color scales for modifiable areal units Timofey Samsonov Lomonosov Moscow State University, Faculty of Geography, Dept. of Cartography and Geoinformatics, Leninskiye Gory 1, Moscow, Russia Abstract. Choropleth

Source URL: www.icc2015.org

• Choropleth map
• Cartography
• Statistics
• Level of measurement
• Data transformation
• Modifiable areal unit problem