Sciweavers

2703 search results - page 111 / 541
» Working Class Hero
Sort
View
FOSSACS
2008
Springer
13 years 11 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
IPCO
2007
143views Optimization» more  IPCO 2007»
13 years 11 months ago
On the Exact Separation of Mixed Integer Knapsack Cuts
During the last decades, much research has been conducted deriving classes of valid inequalities for single-row mixed integer programming polyhedrons. However, no such class has ha...
Ricardo Fukasawa, Marcos Goycoolea
AAAI
2006
13 years 11 months ago
An Efficient Algorithm for Local Distance Metric Learning
Learning application-specific distance metrics from labeled data is critical for both statistical classification and information retrieval. Most of the earlier work in this area h...
Liu Yang, Rong Jin, Rahul Sukthankar, Yi Liu
AIPS
2006
13 years 11 months ago
Tractable Optimal Competitive Scheduling
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
Jeremy Frank, James Crawford, Lina Khatib, Ronen I...
IADIS
2004
13 years 11 months ago
A Different Pedagogical Approach to Teaching a Web Applications Course
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...
Roy P. Pargas