Sciweavers

1520 search results - page 94 / 304
» Class Hierarchy Specialization
Sort
View
TABLEAUX
2007
Springer
14 years 1 months ago
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
Ryo Ishigaki, Kentaro Kikuchi
SYNASC
2006
IEEE
129views Algorithms» more  SYNASC 2006»
14 years 1 months ago
Pivot-Free Block Matrix Inversion
We present a pivot-free deterministic algorithm for the inversion of block matrices. The method is based on the Moore-Penrose inverse and is applicable over certain general classe...
Stephen M. Watt
AWIC
2005
Springer
14 years 1 months ago
Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
Costin Badica, Amelia Badica, Elvira Popescu
NIPS
2008
13 years 9 months ago
Kernelized Sorting
Object matching is a fundamental operation in data analysis. It typically requires the definition of a similarity measure between the classes of objects to be matched. Instead, we...
Novi Quadrianto, Le Song, Alex J. Smola
ICASSP
2011
IEEE
12 years 11 months ago
Stereo audio classification for audio enhancement
Stereo audio enhancement and upmixing techniques require spatial analysis of the mixture in order to work optimally for different types of contents. In this paper a method is prop...
Aki Harma