Sciweavers

434 search results - page 36 / 87
» A Semantic Caching Method Based on Linear Constraints
Sort
View
ICML
2009
IEEE
14 years 9 months ago
Multi-class image segmentation using conditional random fields and global classification
A key aspect of semantic image segmentation is to integrate local and global features for the prediction of local segment labels. We present an approach to multi-class segmentatio...
Nils Plath, Marc Toussaint, Shinichi Nakajima
PATAT
2004
Springer
135views Education» more  PATAT 2004»
14 years 2 months ago
A Column Generation Scheme for Faculty Timetabling
In this paper we deal with the problem of building a timetable for the courses of a university faculty. We propose an integer linear programming approach based on column generation...
Andrea Qualizza, Paolo Serafini
COCOA
2010
Springer
13 years 6 months ago
Feasibility-Based Bounds Tightening via Fixed Points
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Libert...
CVPR
2010
IEEE
14 years 5 months ago
Relaxing the 3L algorithm for an accurate implicit polynomial fitting
This paper presents a novel method to increase the accuracy of linear fitting of implicit polynomials. The proposed method is based on the 3L algorithm philosophy. The novelty l...
Mohammad Rouhani and Angel D. Sappa
AMAI
2008
Springer
13 years 8 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä