Sciweavers

2542 search results - page 264 / 509
» Computing Cartograms with Optimal Complexity
Sort
View
112
Voted
CA
1999
IEEE
15 years 4 months ago
Animation of Human Walking in Virtual Environments
This paper presents an interactive hierarchical motion control system dedicated to the animation of human figure locomotion in virtual environments. As observed in gait experiment...
Shih-kai Chung, James K. Hahn
FOCS
1999
IEEE
15 years 4 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi
GECCO
2008
Springer
168views Optimization» more  GECCO 2008»
15 years 1 months ago
Speed-up techniques for solving large-scale bTSP with the Two-Phase Pareto Local Search
We first present a method, called Two-Phase Pareto Local Search, to find a good approximation of the efficient set of the biobjective traveling salesman problem. In the first p...
Thibaut Lust
ICML
2010
IEEE
15 years 1 months ago
Learning Efficiently with Approximate Inference via Dual Losses
Many structured prediction tasks involve complex models where inference is computationally intractable, but where it can be well approximated using a linear programming relaxation...
Ofer Meshi, David Sontag, Tommi Jaakkola, Amir Glo...
99
Voted
JAIR
2006
101views more  JAIR 2006»
15 years 15 days 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