Sciweavers

13376 search results - page 170 / 2676
» Problem Solving with
Sort
View
AAIM
2007
Springer
116views Algorithms» more  AAIM 2007»
15 years 9 months ago
Solving Generalized Maximum Dispersion with Linear Programming
The Generalized Maximum Dispersion problem asks for a partition of a given graph into p vertex-disjoint sets, each of them having at most k vertices. The goal is to maximize the to...
Gerold Jäger, Anand Srivastav, Katja Wolf
113
Voted
SAT
2007
Springer
73views Hardware» more  SAT 2007»
15 years 9 months ago
SAT Solving for Termination Analysis with Polynomial Interpretations
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, ...
VTC
2006
IEEE
118views Communications» more  VTC 2006»
15 years 9 months ago
A Space-Time based Approach to Solving the Gain Asymmetry in MIMO ad hoc Networks
— The problem of gain asymmetry in MIMO ad-hoc networks is outlined and the solutions proposed in literature are surveyed. The protocol in [1] approach is analyzed and its delay ...
Francesco Rossetto, Michele Zorzi
IJCAI
2007
15 years 4 months ago
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
Janusz Marecki, Sven Koenig, Milind Tambe
ECCV
2008
Springer
16 years 5 months ago
Pose Priors for Simultaneously Solving Alignment and Correspondence
Abstract. Estimating a camera pose given a set of 3D-object and 2Dimage feature points is a well understood problem when correspondences are given. However, when such correspondenc...
Francesc Moreno-Noguer, Vincent Lepetit, Pascal Fu...