Sciweavers

3055 search results - page 115 / 611
» Randomized Search Trees
Sort
View
WSC
2004
13 years 11 months ago
Simulation Optimization Using Balanced Explorative and Exploitative Search
We present a new random search method for solving simulation optimization problems. Our approach emphasizes the need for maintaining the right balance between exploration and expl...
Andrei A. Prudius, Sigrún Andradótti...
EMNLP
2011
12 years 10 months ago
Syntax-Based Grammaticality Improvement using CCG and Guided Search
Machine-produced text often lacks grammaticality and fluency. This paper studies grammaticality improvement using a syntax-based algorithm based on CCG. The goal of the search pr...
Yue Zhang 0004, Stephen Clark
CG
2008
Springer
14 years 11 days ago
About the Completeness of Depth-First Proof-Number Search
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
Akihiro Kishimoto, Martin Müller 0003
FLAIRS
2004
13 years 11 months ago
A Local Search/Constraint Propagation Hybrid for a Network Routing Problem
This paper presents a hybrid algorithm that combines local search and constraint programming techniques to solve a network routing problem. The problem considered is that of routi...
Jonathan Lever
AISC
2006
Springer
14 years 2 months ago
A Search Engine for Mathematical Formulae
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...
Michael Kohlhase, Ioan Sucan