Sciweavers

433 search results - page 45 / 87
» Generalized Ham-Sandwich Cuts
Sort
View
LPAR
2001
Springer
15 years 4 months ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
MVA
2002
112views Computer Vision» more  MVA 2002»
14 years 11 months ago
Automatic Useful Shot Extraction for a Video Editing Support System
Video editing is a work to produce final videos with certain duration by finding and selecting appropriate shots from raw material videos and connecting them. In order to produce ...
Masahito Kumano, Yasuo Ariki
TOG
2002
170views more  TOG 2002»
14 years 11 months ago
Cut-and-paste editing of multiresolution surfaces
Cutting and pasting to combine different elements into a common structure are widely used operations that have been successfully adapted to many media types. Surface design could ...
Henning Biermann, Ioana M. Martin, Fausto Bernardi...
SIAMDM
2010
117views more  SIAMDM 2010»
14 years 10 months ago
Design is as Easy as Optimization
We consider the class of max-min and min-max optimization problems subject to a global budget (or weight) constraint and we undertake a systematic algorithmic and complexitytheore...
Deeparnab Chakrabarty, Aranyak Mehta, Vijay V. Vaz...
SIAMDM
2011
14 years 6 months ago
On Maximal S-Free Convex Sets
Let S ⊆ Zn satisfy the property that conv(S) ∩ Zn = S. Then a convex set K is called an S-free convex set if int(K) ∩ S = ∅. A maximal S-free convex set is an S-free convex...
Diego A. Morán R., Santanu S. Dey