Sciweavers

850 search results - page 41 / 170
» heuristics 2006
Sort
View
ASE
2006
122views more  ASE 2006»
15 years 23 days ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
ICPR
2006
IEEE
16 years 1 months ago
Machine Learning for Video Compression: Macroblock Mode Decision
Video Compression currently is dominated by engineering and fine-tuned heuristic methods. In this paper, we propose to instead apply the well-developed machinery of machine learni...
Christoph H. Lampert
71
Voted
WOWMOM
2006
ACM
110views Multimedia» more  WOWMOM 2006»
15 years 6 months ago
Minimum Cost Wireless Broadband Overlay Network Planning
Wireless broadband networks, especially WiMAX networks, have emerged in the industry recently and many challenging research issues arise. In this paper, we proposed a heuristic cl...
Peng Lin, Hung Q. Ngo, Chunming Qiao, Xin Wang, Ti...
98
Voted
AIPS
2006
15 years 2 months ago
Fast Probabilistic Planning through Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann
110
Voted
DAM
2006
89views more  DAM 2006»
15 years 22 days ago
First vs. best improvement: An empirical study
When applying the 2-opt heuristic to the travelling salesman problem, selecting the best improvement at each iteration gives worse results on average than selecting the first impr...
Pierre Hansen, Nenad Mladenovic