Sciweavers

362 search results - page 29 / 73
» Mechanizing and Improving Dependency Pairs
Sort
View
HIS
2003
13 years 9 months ago
PDGA: the Primal-Dual Genetic Algorithm
Abstract. Genetic algorithms (GAs) are a class of search algorithms based on principles of natural evolution. Hence, incorporating mechanisms used in nature may improve the perform...
Shengxiang Yang
APPROX
2009
Springer
125views Algorithms» more  APPROX 2009»
14 years 2 months ago
Minimizing Average Shortest Path Distances via Shortcut Edge Addition
We consider adding k shortcut edges (i.e. edges of small fixed length δ ≥ 0) to a graph so as to minimize the weighted average shortest path distance over all pairs of vertices...
Adam Meyerson, Brian Tagiku
FROCOS
2007
Springer
14 years 1 months ago
Proving Termination Using Recursive Path Orders and SAT Solving
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
Peter Schneider-Kamp, René Thiemann, Elena ...
ACL
2006
13 years 9 months ago
Exploiting Non-Local Features for Spoken Language Understanding
In this paper, we exploit non-local features as an estimate of long-distance dependencies to improve performance on the statistical spoken language understanding (SLU) problem. Th...
Minwoo Jeong, Gary Geunbae Lee
NIPS
1994
13 years 9 months ago
Phase-Space Learning
In this paper, we present an improved version of the online phase-space learning algorithm of Tsung and Cottrell (1995), called ARTISTE (Autonomous Real-TIme Selection of Training...
Fu-Sheng Tsung, Garrison W. Cottrell