Sciweavers

4266 search results - page 464 / 854
» The container loading problem
Sort
View
JAPLL
2010
133views more  JAPLL 2010»
15 years 3 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
JMIV
2010
78views more  JMIV 2010»
15 years 3 months ago
Mathematical Modeling of Textures: Application to Color Image Decomposition with a Projected Gradient Algorithm
: In this paper, we are interested in texture modeling with functional analysis spaces. We focus on the case of color image processing, and in particular color image decomposition....
Vincent Duval, Jean-François Aujol, Luminit...
PR
2010
160views more  PR 2010»
15 years 3 months ago
Homeomorphic alignment of weighted trees
Motion capture, a currently active research area, needs estimation of the pose of the subject. For this purpose, we match the tree representation of the skeleton of the 3D shape t...
Benjamin Raynal, Michel Couprie, Venceslas Biri
SIAMDM
2010
123views more  SIAMDM 2010»
15 years 3 months ago
Large Bichromatic Point Sets Admit Empty Monochromatic 4-Gons
We consider a variation of a problem stated by Erd˝os and Szekeres in 1935 about the existence of a number fES (k) such that any set S of at least fES (k) points in general posit...
Oswin Aichholzer, Thomas Hackl, Clemens Huemer, Fe...
DSD
2010
IEEE
149views Hardware» more  DSD 2010»
15 years 3 months ago
Low Latency Recovery from Transient Faults for Pipelined Processor Architectures
Abstract--Recent technology trends have made radiationinduced soft errors a growing threat to the reliability of microprocessors, a problem previously only known to the aerospace i...
Marcus Jeitler, Jakob Lechner