Sciweavers

4190 search results - page 375 / 838
» Type Class Directives
Sort
View
CSL
2010
Springer
15 years 7 months ago
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
Tobias Ganzow, Lukasz Kaiser
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A chain dictionary method for Word Sense Disambiguation and applications
Abstract. A large class of unsupervised algorithms for Word Sense Disambiguation (WSD) is that of dictionary-based methods. Various algorithms have as the root Lesk's algorith...
Doina Tatar, Gabriela Serban, Andreea Diana Mihis,...
CORR
2010
Springer
165views Education» more  CORR 2010»
15 years 6 months ago
Online Learning: Beyond Regret
We study online learnability of a wide class of problems, extending the results of [26] to general notions of performance measure well beyond external regret. Our framework simult...
Alexander Rakhlin, Karthik Sridharan, Ambuj Tewari
DATAMINE
2008
112views more  DATAMINE 2008»
15 years 6 months ago
PRIE: a system for generating rulelists to maximize ROC performance
Rules are commonly used for classification because they are modular, intelligible and easy to learn. Existing work in classification rule learning assumes the goal is to produce ca...
Tom Fawcett
DISOPT
2008
78views more  DISOPT 2008»
15 years 6 months ago
N-fold integer programming
In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed n-fold integer programming problems are polynomial time ...
Jesús A. De Loera, Raymond Hemmecke, Shmuel...