Sciweavers

2593 search results - page 437 / 519
» constraints 2007
Sort
View
SAT
2007
Springer
95views Hardware» more  SAT 2007»
16 years 14 days ago
Solving Multi-objective Pseudo-Boolean Problems
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
Martin Lukasiewycz, Michael Glaß, Christian ...
SCALESPACE
2007
Springer
16 years 14 days ago
Dense Optical Flow Estimation from the Monogenic Curvature Tensor
In this paper, we address the topic of estimating two-frame dense optical flow from the monogenic curvature tensor. The monogenic curvature tensor is a novel image model, from whi...
Di Zang, Lennart Wietzke, Christian Schmaltz, Gera...
SCALESPACE
2007
Springer
16 years 14 days ago
Segmentation Under Occlusions Using Selective Shape Prior
In this work, we address the problem of segmenting multiple objects, under possible occlusions, in a level set framework. A variational energy that incorporates a piecewise constan...
Sheshadri Thiruvenkadam, Tony F. Chan, Byung-Woo H...
SCALESPACE
2007
Springer
16 years 14 days ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
SEMWEB
2007
Springer
16 years 14 days ago
OWL-Q for Semantic QoS-based Web Service Description and Discovery
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
Kyriakos Kritikos, Dimitris Plexousakis