Sciweavers

13376 search results - page 508 / 2676
» Problem Solving with
Sort
View
ESA
2003
Springer
96views Algorithms» more  ESA 2003»
15 years 12 months ago
Streaming Geometric Optimization Using Graphics Hardware
In this paper we propose algorithms for solving a variety of geometric optimization problems on a stream of points in R2 or R3 . These problems include various extent measures (e.g...
Pankaj K. Agarwal, Shankar Krishnan, Nabil H. Must...
JAIR
2006
101views more  JAIR 2006»
15 years 6 months ago
Resource Allocation Among Agents with MDP-Induced Preferences
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
Dmitri A. Dolgov, Edmund H. Durfee
149
Voted
IDA
2009
Springer
16 years 1 months ago
Image Denoising Using Sparse Representations
The problem of removing white zero-mean Gaussian noise from an image is an interesting inverse problem to be investigated in this paper through sparse and redundant representations...
Seyyed Majid Valiollahzadeh, Hamed Firouzi, Massou...
LION
2009
Springer
152views Optimization» more  LION 2009»
16 years 1 months ago
Comparison of Coarsening Schemes for Multilevel Graph Partitioning
Graph partitioning is a well-known optimization problem of great interest in theoretical and applied studies. Since the 1990s, many multilevel schemes have been introduced as a pra...
Cédric Chevalier, Ilya Safro
FLAIRS
2003
15 years 8 months ago
Proving Harder Theorems by Axiom Reduction
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
Geoff Sutcliffe, Alexander Dvorský