89222 search results - page 101 / 17845 » Which |
154
click to vote
IPCO
1992
15 years 7 months ago
1992
We present exact characterizations of structures on which the greedy algorithm produces optimal solutions. Our characterization, which we call matroid embeddings, complete the par...
155
click to vote
AIPS
2009
15 years 7 months ago
2009
This paper considers Just-In-Time Job-Shop Scheduling, in which each activity has an earliness and a tardiness cost with respect to a due date. It proposes a constraint programmin...
162
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
131
click to vote
APAL
2010
15 years 6 months ago
2010
We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of
183
click to vote
CGF
2010
15 years 6 months ago
2010
We study the combined problem of approximating a surface by a quad mesh (or quad-dominant mesh) which on the one hand has planar faces, and which on the other hand is aestheticall...