730 search results - page 81 / 146 » Combinatorics of Monotone Computations |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we consider the mechanism design version of the fractional variant of the scheduling problem on unrelated machines. We give a lower bound of 2 − 1/n for any fracti...
ICIC
2007
Springer
14 years 1 months ago
2007
Springer
Rough set theory has been considered as a useful tool to deal with inexact, uncertain, or vague knowledge. However, in real-world, most of information systems are based on dominanc...
SCALESPACE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...
COMPGEOM
2006
ACM
14 years 1 months ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...